Gary is young. If something is young then it is red. If something is red then it is nice. All round, big things are red. Nice things are kind. All kind things are round. All green things are nice. All young things are nice. If Gary is kind then Gary is young.
Gary is not green.
@0: Gary is young.[(triple1)] @1: Gary is nice.[(((triple1) -> rule7) OR ((((triple1) -> rule1)) -> rule2))] Gary is red.[(((triple1) -> rule1))] @2: Gary is kind.[(((((triple1) -> rule7)) -> rule4) OR ((((((triple1) -> rule1)) -> rule2)) -> rule4))] @3: Gary is round.[(((((((triple1) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule1)) -> rule2)) -> rule4)) -> rule5))]