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