1. D > E 2. F > G 3. D v F / E v G 4. (D > E) & (F > G) 1,2 conjunction 5. E v G 4,3 constructive dilemma Edwin