Dave is nice. Fiona is nice. Gary is furry. If something is round then it is furry. All nice things are not furry. All red things are not rough. All rough things are red. If something is round and not white then it is red. White, rough things are red. White things are red. If Gary is rough and Gary is round then Gary is furry.
Gary is not red.
@0: Dave is nice.[(triple1)] Fiona is nice.[(triple2)] Gary is furry.[(triple3)] @1: Dave is not furry.[(((triple1) -> rule2))] Fiona is not furry.[(((triple2) -> rule2))]