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