Anne is big. Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is smart. Anne is white. Charlie is blue. Charlie is nice. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is white. Red, green people are white.
Charlie is not white.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7 OR ((triple5 triple3) -> rule1))] Charlie is blue.[(triple8)] Charlie is nice.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14)] Gary is white.[(triple15 OR ((triple14 triple12) -> rule1))]