Dave is round. Fiona is blue. Gary is rough. If Gary is nice then Gary is rough. If Dave is round then Dave is smart. If something is quiet then it is rough.
Dave is not rough.
@0: Dave is round.[(triple1)] Fiona is blue.[(triple2)] Gary is rough.[(triple3)] @1: Dave is smart.[(((triple1) -> rule2))]