Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is rough. Bob is smart. Bob is young. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Harry is young. If Bob is blue then Bob is nice. If someone is big and blue then they are kind.
Harry is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3 OR ((triple1 triple2) -> rule2))] Bob is nice.[(triple4 OR ((triple2) -> rule1))] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is kind.[(triple10 OR ((triple8 triple9) -> rule2))] Harry is nice.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]