Anne is kind. Anne is red. Anne is white. Charlie is green. Charlie is red. Dave is cold. Dave is furry. Green things are red. If something is white then it is quiet. Quiet things are furry.
Anne is furry.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Charlie is green.[(triple4)] Charlie is red.[(triple5 OR ((triple4) -> rule1))] Dave is cold.[(triple6)] Dave is furry.[(triple7)] @1: Anne is quiet.[(((triple3) -> rule2))] @2: Anne is furry.[(((((triple3) -> rule2)) -> rule3))]