Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is white. Blue, kind people are green.
Gary is green.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is green.[(triple3 OR ((triple2 triple4) -> rule1))] Gary is kind.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7)]