Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Charlie is blue. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. If Bob is not kind then Bob is furry.
Bob is furry.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is quiet.[(triple6)] Bob is smart.[(triple7)] Charlie is blue.[(triple8)] Charlie is green.[(triple10)] Charlie is kind.[(triple11)] Charlie is nice.[(triple12)] Charlie is not furry.[(triple9)] Charlie is quiet.[(triple13)] Charlie is smart.[(triple14)]