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