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