Being given a sequence of propositions, he finds that all follow logically from the first.
Ay bibigyan ng isang pagkakasunod-sunod ng mga propositions, siya na nahahanap na ang lahat ng sundin logically mula sa unang.