Erin is rough. Gary is nice. Gary is white. All rough things are green. If something is nice and blue then it is furry. All green things are rough. Furry things are young. All rough things are blue. If Gary is white then Gary is green.
Gary is not blue.
@0: Erin is rough.[(triple1)] Gary is nice.[(triple2)] Gary is white.[(triple3)] @1: Erin is blue.[(((triple1) -> rule5))] Erin is green.[(((triple1) -> rule1))] Gary is green.[(((triple3) -> rule6))] @2: Gary is rough.[(((((triple3) -> rule6)) -> rule3))] @3: Gary is blue.[(((((((triple3) -> rule6)) -> rule3)) -> rule5))] @4: Gary is furry.[(((triple2 ((((((triple3) -> rule6)) -> rule3)) -> rule5)) -> rule2))] @5: Gary is young.[(((((triple2 ((((((triple3) -> rule6)) -> rule3)) -> rule5)) -> rule2)) -> rule4))]