アリストテレスが整えた、二つの前提から一つの結論を導く推論の形式は?