Bob is kind. Bob is not rough. Bob is smart. Bob is white. Bob is young. Harry is big. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. Harry is white. Harry is young. If Bob is big and Bob is quiet then Bob is not smart. If something is young then it is kind.
Bob is not kind.
@0: Bob is kind.[(triple1 OR ((triple5) -> rule2))] Bob is not rough.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Harry is big.[(triple6)] Harry is kind.[(triple7 OR ((triple12) -> rule2))] Harry is quiet.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)]