(4) All farms are houses. All houses are jungles. A + A ⇒ A - type of Conclusion “All farms are jungles”. All houses are jungles. No jungle is a ranch. A + E ⇒ E - type of Conclusion “No house is a ranch”. All farms are jungles. No jungle is a ranch. A + E ⇒ E - type of Conclusion “No farm is a ranch”. This is option (4).