(A) Either Alice is at home or she is at work.
(B) Alice is not at home.
(Z) Alice is at work.
(A) Alice is taller than Bob.
(B) Bob is taller than Carol.
(Z) Alice is taller than Carol.
(A) If Dave takes the bus to work, he will be late.
(B) If Dave is late, he will be fired.
(C) So, if Dave takes the bus to work, he will be fired.
(D) Dave is taking the bus to work.
(Z) Therefore, Dave will be fired.
PREMISE:
(A) If Dave takes the bus to work, he will be late.
PREMISE:
(B) If Dave is late, he will be fired.
INTERMEDIATE CONCLUSION:
(C) So, if Dave takes the bus to work, he will be fired.
PREMISE:
(D) Dave is taking the bus to work.
CONCLUSION:
(Z) Therefore, Dave will be fired.
(A) I can't come to your party on Friday.
(B) I can either go to your party, or study for my final exam.
(C) If I don't study for my final exam, I will fail the class.
(D) I can't fail the class.
(E) So, I have to study for my final exam.
CONCLUSION:
(A) I can't come to your party on Friday.
PREMISE:
(B) I can either go to your party, or study for my final exam.
PREMISE:
(C) If I don't study for my final exam, I will fail the class.
PREMISE:
(D) I can't fail the class.
INTERMEDIATE CONCLUSION:
(E) So, I have to study for my final exam.