Anne is furry. Anne is not kind. Anne is red. Erin is cold. Erin is nice. Erin is not quiet. Erin is red. If Anne is red and Anne is not kind then Anne is quiet. Quiet, furry people are not nice. If Anne is quiet and Anne is not nice then Anne is cold.
Anne is red.
@0: Anne is furry.[(triple1)] Anne is not kind.[(triple2)] Anne is red.[(triple3)] Erin is cold.[(triple4)] Erin is nice.[(triple5)] Erin is not quiet.[(triple6)] Erin is red.[(triple7)] @1: Anne is quiet.[(((triple3 triple2) -> rule1))] @2: Anne is not nice.[(((((triple3 triple2) -> rule1) triple1) -> rule2))] @3: Anne is cold.[(((((triple3 triple2) -> rule1) ((((triple3 triple2) -> rule1) triple1) -> rule2)) -> rule3))]