Anne is quiet. Charlie is white. Dave is furry. All quiet things are nice. If something is quiet and furry then it is nice. If something is round and not young then it is not white. Quiet things are not white. If Charlie is white then Charlie is not furry. All nice things are red.
Anne is not white.
@0: Anne is quiet.[(triple1)] Charlie is white.[(triple2)] Dave is furry.[(triple3)] @1: Anne is nice.[(((triple1) -> rule1))] Anne is not white.[(((triple1) -> rule4))] Charlie is not furry.[(((triple2) -> rule5))] @2: Anne is red.[(((((triple1) -> rule1)) -> rule6))]