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 not 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)]