Charlie is green. Charlie is nice. Charlie is smart. Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is round. Erin is smart. Gary is big. Gary is furry. Gary is green. Gary is smart. Harry is smart. If something is red then it is nice. Smart, nice things are round. If something is big and green then it is red.
Gary is not smart.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7 OR ((triple8) -> rule1) OR ((((triple4 triple6) -> rule3)) -> rule1))] Erin is red.[(triple8 OR ((triple4 triple6) -> rule3))] Erin is round.[(triple9 OR ((triple10 triple7) -> rule2) OR ((triple10 ((triple8) -> rule1)) -> rule2) OR ((triple10 ((((triple4 triple6) -> rule3)) -> rule1)) -> rule2))] Erin is smart.[(triple10)] Gary is big.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is smart.[(triple14)] Harry is smart.[(triple15)] @1: Charlie is round.[(((triple3 triple2) -> rule2))] Gary is red.[(((triple11 triple13) -> rule3))] @2: Gary is nice.[(((((triple11 triple13) -> rule3)) -> rule1))] @3: Gary is round.[(((triple14 ((((triple11 triple13) -> rule3)) -> rule1)) -> rule2))]