Anne is furry. Anne is green. Anne is white. Dave is furry. Dave is red. Dave is smart. Dave is white. If someone is red then they are round. All round people are cold. All cold, red people are white. If someone is white then they are smart. Smart, cold people are round. All smart, furry people are cold. If Anne is round then Anne is furry. If someone is red then they are furry.
Anne is white.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is white.[(triple3)] Dave is furry.[(triple4 OR ((triple5) -> rule8))] Dave is red.[(triple5)] Dave is smart.[(triple6 OR ((triple7) -> rule4) OR ((((((((triple5) -> rule1)) -> rule2) triple5) -> rule3)) -> rule4))] Dave is white.[(triple7 OR ((((triple6 triple4) -> rule6) triple5) -> rule3) OR ((((((triple5) -> rule1)) -> rule2) triple5) -> rule3) OR ((((triple6 ((triple5) -> rule8)) -> rule6) triple5) -> rule3))] @1: Anne is smart.[(((triple3) -> rule4))] Dave is cold.[(((triple6 triple4) -> rule6) OR ((((triple5) -> rule1)) -> rule2) OR ((triple6 ((triple5) -> rule8)) -> rule6) OR ((((triple7) -> rule4) triple4) -> rule6) OR ((((triple7) -> rule4) ((triple5) -> rule8)) -> rule6))] Dave is round.[(((triple5) -> rule1) OR ((triple6 ((triple6 triple4) -> rule6)) -> rule5) OR ((((triple7) -> rule4) ((triple6 triple4) -> rule6)) -> rule5) OR ((triple6 ((triple6 ((triple5) -> rule8)) -> rule6)) -> rule5) OR ((triple6 ((((triple7) -> rule4) triple4) -> rule6)) -> rule5) OR ((triple6 ((((triple7) -> rule4) ((triple5) -> rule8)) -> rule6)) -> rule5) OR ((((triple7) -> rule4) ((triple6 ((triple5) -> rule8)) -> rule6)) -> rule5) OR ((((triple7) -> rule4) ((((triple7) -> rule4) triple4) -> rule6)) -> rule5) OR ((((triple7) -> rule4) ((((triple7) -> rule4) ((triple5) -> rule8)) -> rule6)) -> rule5))] @2: Anne is cold.[(((((triple3) -> rule4) triple1) -> rule6))] @3: Anne is round.[(((((triple3) -> rule4) ((((triple3) -> rule4) triple1) -> rule6)) -> rule5))]