Anne is not blue. Anne is furry. Bob is nice. Bob is smart. Bob is young. Charlie is furry. Charlie is not nice. Charlie is smart. Dave is white. Dave is not young. All red things are smart. Nice, blue things are furry. All blue, red things are nice.
Charlie is furry.
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Bob is nice.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Charlie is furry.[(triple6)] Charlie is not nice.[(triple7)] Charlie is smart.[(triple8)] Dave is not young.[(triple10)] Dave is white.[(triple9)]