Anne is young. Charlie is young. Gary is red. If something is blue then it is green. All green things are blue. If something is blue then it is rough. All rough, young things are furry. All red things are blue. Green things are young. If Charlie is nice and Charlie is red then Charlie is furry. If something is red and rough then it is blue.
Gary is red.
@0: Anne is young.[(triple1)] Charlie is young.[(triple2)] Gary is red.[(triple3)] @1: Gary is blue.[(((triple3) -> rule5))] @2: Gary is green.[(((((triple3) -> rule5)) -> rule1))] Gary is rough.[(((((triple3) -> rule5)) -> rule3))] @3: Gary is young.[(((((((triple3) -> rule5)) -> rule1)) -> rule6))] @4: Gary is furry.[(((((((triple3) -> rule5)) -> rule3) ((((((triple3) -> rule5)) -> rule1)) -> rule6)) -> rule4))]