Gary is smart. If someone is green and young then they are red. If someone is smart then they are red. Young people are kind. Red people are kind. If someone is red and not big then they are not green. Red people are green. If someone is green and not kind then they are quiet. All smart, kind people are not quiet.
Gary is green.
@0: Gary is smart.[(triple1)] @1: Gary is red.[(((triple1) -> rule2))] @2: Gary is green.[(((((triple1) -> rule2)) -> rule6))] Gary is kind.[(((((triple1) -> rule2)) -> rule4))] @3: Gary is not quiet.[(((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule8))]