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.
Anne is not big.
@0: Anne is kind.[(triple1)] Bob is furry.[(triple2)] Dave is white.[(triple3)] Fiona is rough.[(triple4)] @1: Dave is not blue.[(((triple3) -> rule1))]