Charlie is smart. Erin is blue. Erin is green. Erin is red. Erin is rough. Erin is round. Erin is smart. Gary is green. Gary is quiet. Gary is rough. Gary is round. Harry is blue. Harry is green. Harry is quiet. Harry is rough. Harry is smart. Green, smart people are blue. All round people are smart.
Erin is not blue.
@0: Charlie is smart.[(triple1)] Erin is blue.[(triple2 OR ((triple3 triple7) -> rule1) OR ((triple3 ((triple6) -> rule2)) -> rule1))] Erin is green.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7 OR ((triple6) -> rule2))] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11)] Harry is blue.[(triple12 OR ((triple13 triple16) -> rule1))] Harry is green.[(triple13)] Harry is quiet.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Gary is smart.[(((triple11) -> rule2))] @2: Gary is blue.[(((triple8 ((triple11) -> rule2)) -> rule1))]