Dave is furry. Dave is red. Dave is not round. Fiona is blue. Fiona is furry. Fiona is round. Fiona is not white. If Dave is furry then Dave is not white.
Fiona is not furry.
@0: Dave is furry.[(triple1)] Dave is not round.[(triple3)] Dave is red.[(triple2)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is not white.[(triple7)] Fiona is round.[(triple6)] @1: Dave is not white.[(((triple1) -> rule1))]