Erin is big. Erin is blue. Erin is green. Erin is nice. Erin is rough. Fiona is big. Fiona is blue. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is white. Harry is blue. Harry is rough. Harry is smart. Harry is white. If Erin is white and Erin is blue then Erin is green. If someone is smart then they are rough. All rough people are blue. All smart people are white. All big, white people are blue. Smart, big people are green.
Harry is big.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple5) -> rule3))] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7 OR ((triple10) -> rule3) OR ((triple6 triple12) -> rule5) OR ((((triple11) -> rule2)) -> rule3) OR ((triple6 ((triple11) -> rule4)) -> rule5))] Fiona is green.[(triple8 OR ((triple11 triple6) -> rule6))] Fiona is nice.[(triple9)] Fiona is rough.[(triple10 OR ((triple11) -> rule2))] Fiona is smart.[(triple11)] Fiona is white.[(triple12 OR ((triple11) -> rule4))] Harry is blue.[(triple13 OR ((triple14) -> rule3) OR ((((triple15) -> rule2)) -> rule3))] Harry is rough.[(triple14 OR ((triple15) -> rule2))] Harry is smart.[(triple15)] Harry is white.[(triple16 OR ((triple15) -> rule4))]