Anne is nice. Gary is nice. If something is nice and white then it is green. Green things are nice. Kind things are young. If something is smart and kind then it is big. If Gary is green then Gary is white. All young things are kind. Nice things are white. If Anne is kind then Anne is smart.
Gary is not young.
@0: Anne is nice.[(triple1)] Gary is nice.[(triple2)] @1: Anne is white.[(((triple1) -> rule7))] Gary is white.[(((triple2) -> rule7))] @2: Anne is green.[(((triple1 ((triple1) -> rule7)) -> rule1))] Gary is green.[(((triple2 ((triple2) -> rule7)) -> rule1))]