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