Anne is cold. Anne is green. Anne is not nice. Anne is red. Anne is not white. Charlie is green. Charlie is nice. All red things are furry. If something is furry and red then it is not kind.
Charlie is red.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is not nice.[(triple3)] Anne is not white.[(triple5)] Anne is red.[(triple4)] Charlie is green.[(triple6)] Charlie is nice.[(triple7)] @1: Anne is furry.[(((triple4) -> rule1))] @2: Anne is not kind.[(((((triple4) -> rule1) triple4) -> rule2))]