Anne is kind. Bob is furry. Dave is white. Fiona is rough. If something is white then it is not blue. If Dave is rough and Dave is quiet then Dave is not white.
Fiona is furry.
@0: Anne is kind.[(triple1)] Bob is furry.[(triple2)] Dave is white.[(triple3)] Fiona is rough.[(triple4)] @1: Dave is not blue.[(((triple3) -> rule1))]