Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is red. If someone is furry then they are red. If Anne is green then Anne is kind. All green, cold people are kind. All red, quiet people are blue. If someone is quiet and blue then they are red. Quiet, cold people are red.
Anne is cold.
@0: Anne is blue.[(triple1 OR ((triple7 triple6) -> rule4) OR ((((triple3) -> rule1) triple6) -> rule4) OR ((((triple6 triple2) -> rule6) triple6) -> rule4))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is kind.[(triple5 OR ((triple4) -> rule2) OR ((triple4 triple2) -> rule3))] Anne is quiet.[(triple6)] Anne is red.[(triple7 OR ((triple3) -> rule1) OR ((triple6 triple1) -> rule5) OR ((triple6 triple2) -> rule6))]