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