Dave is red. Fiona is green. All kind, quiet people are not red. All red people are not furry.
Dave is not furry.
@0: Dave is red.[(triple1)] Fiona is green.[(triple2)] @1: Dave is not furry.[(((triple1) -> rule2))]