Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is white. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Harry is cold. Harry is furry. Harry is white. If something is white and quiet then it is nice. All quiet, white things are smart. If something is cold and smart then it is green. All cold, green things are furry. White things are green. If Harry is white then Harry is furry. Green things are cold. Green things are quiet.
Anne is white.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule7) OR ((((triple5) -> rule5)) -> rule7))] Anne is green.[(triple2 OR ((triple5) -> rule5) OR ((triple1 ((triple4 triple5) -> rule2)) -> rule3))] Anne is nice.[(triple3 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple2) -> rule8)) -> rule1) OR ((triple5 ((((triple5) -> rule5)) -> rule8)) -> rule1))] Anne is quiet.[(triple4 OR ((triple2) -> rule8) OR ((((triple5) -> rule5)) -> rule8))] Anne is white.[(triple5)] Bob is cold.[(triple6 OR ((triple8) -> rule7) OR ((((triple12) -> rule5)) -> rule7))] Bob is furry.[(triple7 OR ((triple6 triple8) -> rule4) OR ((triple6 ((triple12) -> rule5)) -> rule4) OR ((triple6 ((triple6 triple11) -> rule3)) -> rule4) OR ((((triple8) -> rule7) triple8) -> rule4) OR ((((triple8) -> rule7) ((triple12) -> rule5)) -> rule4) OR ((((triple8) -> rule7) ((triple6 triple11) -> rule3)) -> rule4) OR ((triple6 ((triple6 ((triple10 triple12) -> rule2)) -> rule3)) -> rule4) OR ((((((triple12) -> rule5)) -> rule7) triple8) -> rule4) OR ((((triple8) -> rule7) ((triple6 ((triple10 triple12) -> rule2)) -> rule3)) -> rule4) OR ((((((triple12) -> rule5)) -> rule7) ((triple12) -> rule5)) -> rule4) OR ((((((triple12) -> rule5)) -> rule7) ((triple6 triple11) -> rule3)) -> rule4) OR ((((((triple12) -> rule5)) -> rule7) ((triple6 ((triple10 triple12) -> rule2)) -> rule3)) -> rule4))] Bob is green.[(triple8 OR ((triple12) -> rule5) OR ((triple6 triple11) -> rule3) OR ((triple6 ((triple10 triple12) -> rule2)) -> rule3))] Bob is nice.[(triple9 OR ((triple12 triple10) -> rule1) OR ((triple12 ((triple8) -> rule8)) -> rule1) OR ((triple12 ((((triple12) -> rule5)) -> rule8)) -> rule1) OR ((triple12 ((((triple6 triple11) -> rule3)) -> rule8)) -> rule1))] Bob is quiet.[(triple10 OR ((triple8) -> rule8) OR ((((triple12) -> rule5)) -> rule8) OR ((((triple6 triple11) -> rule3)) -> rule8))] Bob is smart.[(triple11 OR ((triple10 triple12) -> rule2) OR ((((triple8) -> rule8) triple12) -> rule2) OR ((((((triple12) -> rule5)) -> rule8) triple12) -> rule2))] Bob is white.[(triple12)] Harry is cold.[(triple13 OR ((((triple15) -> rule5)) -> rule7))] Harry is furry.[(triple14 OR ((triple15) -> rule6) OR ((triple13 ((triple15) -> rule5)) -> rule4) OR ((((((triple15) -> rule5)) -> rule7) ((triple15) -> rule5)) -> rule4))] Harry is white.[(triple15)] @1: Anne is furry.[(((triple1 triple2) -> rule4) OR ((triple1 ((triple5) -> rule5)) -> rule4) OR ((((triple2) -> rule7) triple2) -> rule4) OR ((((triple2) -> rule7) ((triple5) -> rule5)) -> rule4) OR ((triple1 ((triple1 ((triple4 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((((triple5) -> rule5)) -> rule7) triple2) -> rule4) OR ((((triple2) -> rule7) ((triple1 ((triple4 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((((triple5) -> rule5)) -> rule7) ((triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule5)) -> rule7) ((triple1 ((triple4 triple5) -> rule2)) -> rule3)) -> rule4))] Anne is smart.[(((triple4 triple5) -> rule2) OR ((((triple2) -> rule8) triple5) -> rule2) OR ((((((triple5) -> rule5)) -> rule8) triple5) -> rule2))] Harry is green.[(((triple15) -> rule5))] @2: Harry is quiet.[(((((triple15) -> rule5)) -> rule8))] @3: Harry is nice.[(((triple15 ((((triple15) -> rule5)) -> rule8)) -> rule1))] Harry is smart.[(((((((triple15) -> rule5)) -> rule8) triple15) -> rule2))]