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 blue.
@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))]