Gary is big. Gary is white. Gary is young. Big, white people are green. Blue, big people are young. If Gary is white and Gary is furry then Gary is big.
Gary is white.
@0: Gary is big.[(triple1)] Gary is white.[(triple2)] Gary is young.[(triple3)] @1: Gary is green.[(((triple1 triple2) -> rule1))]