Anne is furry. Anne is rough. Dave is blue. Dave is cold. Dave is furry. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is rough. Harry is smart. If something is blue and smart then it is green. Furry, big things are green. Big, rough things are cold. All cold, smart things are furry. Blue, big things are furry. If something is cold then it is big. All rough, furry things are smart. If something is smart and rough then it is big.
Dave is rough.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Dave is blue.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5 OR ((triple3 ((triple4) -> rule6)) -> rule5))] Harry is big.[(triple6 OR ((triple8) -> rule6) OR ((triple12 triple11) -> rule8) OR ((((triple11 triple9) -> rule7) triple11) -> rule8))] Harry is blue.[(triple7)] Harry is cold.[(triple8 OR ((triple6 triple11) -> rule3) OR ((((triple12 triple11) -> rule8) triple11) -> rule3) OR ((((((triple11 triple9) -> rule7) triple11) -> rule8) triple11) -> rule3))] Harry is furry.[(triple9 OR ((triple7 triple6) -> rule5) OR ((triple8 triple12) -> rule4) OR ((triple7 ((triple8) -> rule6)) -> rule5) OR ((triple7 ((triple12 triple11) -> rule8)) -> rule5) OR ((((triple6 triple11) -> rule3) triple12) -> rule4) OR ((((((triple12 triple11) -> rule8) triple11) -> rule3) triple12) -> rule4))] Harry is green.[(triple10 OR ((triple7 triple12) -> rule1) OR ((triple9 triple6) -> rule2) OR ((triple7 ((triple11 triple9) -> rule7)) -> rule1) OR ((triple9 ((triple8) -> rule6)) -> rule2) OR ((triple9 ((triple12 triple11) -> rule8)) -> rule2) OR ((((triple7 triple6) -> rule5) triple6) -> rule2) OR ((((triple8 triple12) -> rule4) triple6) -> rule2) OR ((((triple7 triple6) -> rule5) ((triple8) -> rule6)) -> rule2) OR ((((triple7 triple6) -> rule5) ((triple12 triple11) -> rule8)) -> rule2) OR ((((triple8 triple12) -> rule4) ((triple8) -> rule6)) -> rule2) OR ((((triple8 triple12) -> rule4) ((triple12 triple11) -> rule8)) -> rule2) OR ((triple7 ((triple11 ((triple7 triple6) -> rule5)) -> rule7)) -> rule1) OR ((triple9 ((((triple11 triple9) -> rule7) triple11) -> rule8)) -> rule2) OR ((((triple7 ((triple8) -> rule6)) -> rule5) triple6) -> rule2) OR ((((triple7 ((triple12 triple11) -> rule8)) -> rule5) triple6) -> rule2) OR ((((((triple6 triple11) -> rule3) triple12) -> rule4) triple6) -> rule2) OR ((((triple7 triple6) -> rule5) ((((triple11 triple9) -> rule7) triple11) -> rule8)) -> rule2) OR ((((triple7 ((triple8) -> rule6)) -> rule5) ((triple8) -> rule6)) -> rule2) OR ((((triple7 ((triple8) -> rule6)) -> rule5) ((triple12 triple11) -> rule8)) -> rule2) OR ((((triple7 ((triple12 triple11) -> rule8)) -> rule5) ((triple8) -> rule6)) -> rule2) OR ((((triple7 ((triple12 triple11) -> rule8)) -> rule5) ((triple12 triple11) -> rule8)) -> rule2) OR ((((triple8 triple12) -> rule4) ((((triple11 triple9) -> rule7) triple11) -> rule8)) -> rule2) OR ((((((triple6 triple11) -> rule3) triple12) -> rule4) ((triple8) -> rule6)) -> rule2) OR ((((((triple6 triple11) -> rule3) triple12) -> rule4) ((triple12 triple11) -> rule8)) -> rule2) OR ((((triple7 ((triple8) -> rule6)) -> rule5) ((((triple11 triple9) -> rule7) triple11) -> rule8)) -> rule2) OR ((((triple7 ((triple12 triple11) -> rule8)) -> rule5) ((((triple11 triple9) -> rule7) triple11) -> rule8)) -> rule2) OR ((((((triple6 triple11) -> rule3) triple12) -> rule4) ((((triple11 triple9) -> rule7) triple11) -> rule8)) -> rule2) OR ((triple7 ((triple11 ((triple7 ((triple8) -> rule6)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple12 triple11) -> rule8) triple11) -> rule3) triple12) -> rule4) triple6) -> rule2) OR ((((((((triple12 triple11) -> rule8) triple11) -> rule3) triple12) -> rule4) ((triple8) -> rule6)) -> rule2) OR ((((((((triple12 triple11) -> rule8) triple11) -> rule3) triple12) -> rule4) ((triple12 triple11) -> rule8)) -> rule2) OR ((((((((triple12 triple11) -> rule8) triple11) -> rule3) triple12) -> rule4) ((((triple11 triple9) -> rule7) triple11) -> rule8)) -> rule2))] Harry is rough.[(triple11)] Harry is smart.[(triple12 OR ((triple11 triple9) -> rule7) OR ((triple11 ((triple7 triple6) -> rule5)) -> rule7) OR ((triple11 ((triple7 ((triple8) -> rule6)) -> rule5)) -> rule7))] @1: Anne is smart.[(((triple2 triple1) -> rule7))] Dave is big.[(((triple4) -> rule6))] @2: Anne is big.[(((((triple2 triple1) -> rule7) triple2) -> rule8))] Dave is green.[(((triple5 ((triple4) -> rule6)) -> rule2) OR ((((triple3 ((triple4) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule2))] @3: Anne is cold.[(((((((triple2 triple1) -> rule7) triple2) -> rule8) triple2) -> rule3))] Anne is green.[(((triple1 ((((triple2 triple1) -> rule7) triple2) -> rule8)) -> rule2))]