Erin is green. Erin is round. Erin is smart. Gary is green. Gary is kind. Gary is not nice. Gary is quiet. If something is rough then it is smart. If something is quiet then it is smart. If something is rough and nice then it is quiet. If Gary is quiet then Gary is not nice. If something is smart and kind then it is rough. All kind, rough things are not nice. If Gary is rough then Gary is round. Quiet, kind things are green.
Erin is quiet.
@0: Erin is green.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] Gary is green.[(triple4 OR ((triple7 triple5) -> rule8))] Gary is kind.[(triple5)] Gary is not nice.[(triple6 OR ((triple7) -> rule4) OR ((triple5 ((((triple7) -> rule2) triple5) -> rule5)) -> rule6))] Gary is quiet.[(triple7)] @1: Gary is smart.[(((triple7) -> rule2))] @2: Gary is rough.[(((((triple7) -> rule2) triple5) -> rule5))] @3: Gary is round.[(((((((triple7) -> rule2) triple5) -> rule5)) -> rule7))]