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