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