Anne is blue. Anne is rough. Anne is white. Rough things are not furry. Blue things are not furry. If something is blue then it is kind.
Anne is not rough.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] @1: Anne is kind.[(((triple1) -> rule3))] Anne is not furry.[(((triple1) -> rule2) OR ((triple2) -> rule1))]