Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is rough. Bob is smart. Bob is white. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is rough. Harry is smart. Harry is white. Big things are kind. Kind, cold things are rough. If something is big then it is rough.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4 OR ((triple1) -> rule1))] Bob is rough.[(triple5 OR ((triple1) -> rule3) OR ((triple4 triple3) -> rule2) OR ((((triple1) -> rule1) triple3) -> rule2))] Bob is smart.[(triple6)] Bob is white.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11 OR ((triple8) -> rule1))] Harry is rough.[(triple12 OR ((triple8) -> rule3) OR ((triple11 triple10) -> rule2) OR ((((triple8) -> rule1) triple10) -> rule2))] Harry is smart.[(triple13)] Harry is white.[(triple14)]