Bob is big. Bob is not cold. Bob is kind. Bob is not quiet. Bob is rough. Bob is smart. Bob is white. Harry is big. Harry is not cold. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. Harry is not white. All rough, smart people are kind. Smart people are big. If Harry is cold then Harry is white.
Bob is kind.
@0: Bob is big.[(triple1 OR ((triple6) -> rule2))] Bob is kind.[(triple3 OR ((triple5 triple6) -> rule1))] Bob is not cold.[(triple2)] Bob is not quiet.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)] Harry is big.[(triple8 OR ((triple13) -> rule2))] Harry is kind.[(triple10 OR ((triple12 triple13) -> rule1))] Harry is not cold.[(triple9)] Harry is not white.[(triple14)] Harry is quiet.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13)]