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".