Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is white. Dave is nice. Dave is rough. Dave is white. Gary is blue. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. If someone is blue and not kind then they are not red. All rough people are red.
Dave is not blue.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4 OR ((triple5) -> rule2))] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Dave is nice.[(triple7)] Dave is rough.[(triple8)] Dave is white.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14 OR ((triple15) -> rule2))] Gary is rough.[(triple15)] @1: Dave is red.[(((triple8) -> rule2))]