 Aristotle then systematically investigates all possible combinations of two premises in each of the three figures. For each combination, he either demonstrates that some conclusion necessarily follows or demonstrates that no conclusion follows. The results he states are correct.