Dave is nice. Fiona is red. All young, kind things are not furry. All kind, green things are furry. Red things are not young.
Fiona is not red.
@0: Dave is nice.[(triple1)] Fiona is red.[(triple2)] @1: Fiona is not young.[(((triple2) -> rule3))]