Anne is furry. Anne is white. Anne is young. Young people are blue. If someone is furry and blue then they are cold. If Anne is furry and Anne is blue then Anne is cold.
Anne is not furry.
@0: Anne is furry.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] @1: Anne is blue.[(((triple3) -> rule1))] @2: Anne is cold.[(((triple1 ((triple3) -> rule1)) -> rule2) OR ((triple1 ((triple3) -> rule1)) -> rule3))]