Anne is white. Dave is kind. Fiona is kind. If something is white then it is smart. If something is smart then it is blue.
Anne is not blue.
@0: Anne is white.[(triple1)] Dave is kind.[(triple2)] Fiona is kind.[(triple3)] @1: Anne is smart.[(((triple1) -> rule1))] @2: Anne is blue.[(((((triple1) -> rule1)) -> rule2))]