Charlie is not green. Charlie is not nice. Charlie is white. Dave is green. Dave is nice. Dave is smart. Fiona is smart. Fiona is white. Gary is green. Gary is nice. Gary is rough. Gary is smart. All green people are not white. If someone is young then they are rough.
Dave is not rough.
@0: Charlie is not green.[(triple1)] Charlie is not nice.[(triple2)] Charlie is white.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Dave is smart.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] @1: Dave is not white.[(((triple4) -> rule1))] Gary is not white.[(((triple9) -> rule1))]