Anne is blue. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is smart. Charlie is green. Charlie is rough. Charlie is smart. Dave is green. Dave is kind. Gary is blue. Gary is nice. Gary is red. Gary is smart. If something is nice and kind then it is red.
Gary is not blue.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple4 triple3) -> rule1))] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Charlie is green.[(triple8)] Charlie is rough.[(triple9)] Charlie is smart.[(triple10)] Dave is green.[(triple11)] Dave is kind.[(triple12)] Gary is blue.[(triple13)] Gary is nice.[(triple14)] Gary is red.[(triple15)] Gary is smart.[(triple16)]