Charlie is blue. Charlie is cold. Charlie is nice. Charlie is rough. Charlie is smart. Fiona is blue. Fiona is green. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Gary is blue. Gary is cold. Gary is green. Gary is smart. All smart, cold people are rough.
Gary is not green.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is nice.[(triple3)] Charlie is rough.[(triple4 OR ((triple5 triple2) -> rule1))] Charlie is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is green.[(triple14)] Gary is smart.[(triple15)] @1: Gary is rough.[(((triple15 triple13) -> rule1))]