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