Erin is kind. Erin is nice. Erin is round. Gary is big. Gary is nice. Gary is quiet. Gary is red. All cold people are quiet. Nice people are quiet. All kind, cold people are red. All nice, quiet people are big. All quiet people are cold. Red people are quiet.
Gary is not big.
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2)] Erin is round.[(triple3)] Gary is big.[(triple4 OR ((triple5 triple6) -> rule4) OR ((triple5 ((triple5) -> rule2)) -> rule4) OR ((triple5 ((triple7) -> rule6)) -> rule4))] Gary is nice.[(triple5)] Gary is quiet.[(triple6 OR ((triple5) -> rule2) OR ((triple7) -> rule6))] Gary is red.[(triple7)] @1: Erin is quiet.[(((triple2) -> rule2))] Gary is cold.[(((triple6) -> rule5) OR ((((triple5) -> rule2)) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] @2: Erin is big.[(((triple2 ((triple2) -> rule2)) -> rule4))] Erin is cold.[(((((triple2) -> rule2)) -> rule5))] @3: Erin is red.[(((triple1 ((((triple2) -> rule2)) -> rule5)) -> rule3))]