Gary is round. All round people are young. If Gary is cold then Gary is not round. If someone is big then they are nice. All big people are not rough. Green, young people are rough. If someone is cold and not young then they are green. All young people are green. Big people are green.
Gary is not nice.
@0: Gary is round.[(triple1)] @1: Gary is young.[(((triple1) -> rule1))] @2: Gary is green.[(((((triple1) -> rule1)) -> rule7))] @3: Gary is rough.[(((((((triple1) -> rule1)) -> rule7) ((triple1) -> rule1)) -> rule5))]