Anne is rough. Gary is nice. Harry is green. All red people are young. Rough people are green. If someone is green then they are young. All young, red people are quiet. If someone is rough then they are young. Rough people are young. If Harry is smart then Harry is quiet. If someone is nice then they are quiet.
Gary is smart.
@0: Anne is rough.[(triple1)] Gary is nice.[(triple2)] Harry is green.[(triple3)] @1: Anne is green.[(((triple1) -> rule2))] Anne is young.[(((triple1) -> rule5) OR ((triple1) -> rule6) OR ((((triple1) -> rule2)) -> rule3))] Gary is quiet.[(((triple2) -> rule8))] Harry is young.[(((triple3) -> rule3))]