Erin is nice. Gary is cold. Gary is red. If something is nice and quiet then it is cold. If something is round then it is white. If something is red and white then it is nice. All nice things are quiet. If Erin is quiet and Erin is round then Erin is cold. If something is red then it is white.
Gary is round.
@0: Erin is nice.[(triple1)] Gary is cold.[(triple2 OR ((((triple3 ((triple3) -> rule6)) -> rule3) ((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule4)) -> rule1))] Gary is red.[(triple3)] @1: Erin is quiet.[(((triple1) -> rule4))] Gary is white.[(((triple3) -> rule6))] @2: Erin is cold.[(((triple1 ((triple1) -> rule4)) -> rule1))] Gary is nice.[(((triple3 ((triple3) -> rule6)) -> rule3))] @3: Gary is quiet.[(((((triple3 ((triple3) -> rule6)) -> rule3)) -> rule4))]