Anne is big. Anne is green. Anne is quiet. Anne is round. Anne is young. Gary is kind. Gary is nice. If something is young and green then it is nice. Quiet, kind things are big.
Gary is kind.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] @1: Anne is nice.[(((triple5 triple2) -> rule1))]