Gary is kind. If something is nice and rough then it is white. Blue things are green. All blue, young things are rough. If Gary is rough then Gary is blue. Blue things are white. Kind things are white. If Gary is white and Gary is young then Gary is rough. All kind things are young.
Gary is rough.
@0: Gary is kind.[(triple1)] @1: Gary is white.[(((triple1) -> rule6))] Gary is young.[(((triple1) -> rule8))] @2: Gary is rough.[(((((triple1) -> rule6) ((triple1) -> rule8)) -> rule7))] @3: Gary is blue.[(((((((triple1) -> rule6) ((triple1) -> rule8)) -> rule7)) -> rule4))] @4: Gary is green.[(((((((((triple1) -> rule6) ((triple1) -> rule8)) -> rule7)) -> rule4)) -> rule2))]