Bob is big. Bob is cold. Bob is furry. Bob is red. Bob is rough. Bob is smart. Bob is young. Harry is big. Harry is cold. Harry is furry. Harry is red. Harry is rough. Harry is smart. Harry is young. Cold, smart people are big. If Harry is cold and Harry is big then Harry is furry.
Harry is rough.
@0: Bob is big.[(triple1 OR ((triple2 triple6) -> rule1))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Harry is big.[(triple8 OR ((triple9 triple13) -> rule1))] Harry is cold.[(triple9)] Harry is furry.[(triple10 OR ((triple9 triple8) -> rule2) OR ((triple9 ((triple9 triple13) -> rule1)) -> rule2))] Harry is red.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]