Charlie is furry. Charlie is smart. Dave is nice. Fiona is blue. Fiona is green. Fiona is nice. Gary is furry. If something is blue then it is rough. If something is furry and nice then it is rough.
Charlie is not rough.
@0: Charlie is furry.[(triple1)] Charlie is smart.[(triple2)] Dave is nice.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6)] Gary is furry.[(triple7)] @1: Fiona is rough.[(((triple4) -> rule1))]