Bob is big. Bob is blue. Bob is furry. Bob is not kind. Bob is rough. Bob is smart. Bob is white. Charlie is big. Charlie is furry. Charlie is kind. Charlie is smart. Fiona is not big. Fiona is blue. Fiona is kind. Fiona is white. If Bob is rough and Bob is white then Bob is smart. If Bob is kind then Bob is not rough. If something is rough and not furry then it is kind.
Bob is furry.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is not kind.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple5 triple7) -> rule1))] Bob is white.[(triple7)] Charlie is big.[(triple8)] Charlie is furry.[(triple9)] Charlie is kind.[(triple10)] Charlie is smart.[(triple11)] Fiona is blue.[(triple13)] Fiona is kind.[(triple14)] Fiona is not big.[(triple12)] Fiona is white.[(triple15)]