Bob is furry. Bob is not green. Bob is nice. Bob is red. Bob is white. Charlie is furry. Charlie is nice. Charlie is red. Charlie is white. Charlie is not young. Dave is furry. Dave is not nice. Dave is not quiet. Dave is young. Harry is nice. If Bob is quiet then Bob is not furry. If something is quiet then it is red.
Charlie is red.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple3)] Bob is not green.[(triple2)] Bob is red.[(triple4)] Bob is white.[(triple5)] Charlie is furry.[(triple6)] Charlie is nice.[(triple7)] Charlie is not young.[(triple10)] Charlie is red.[(triple8)] Charlie is white.[(triple9)] Dave is furry.[(triple11)] Dave is not nice.[(triple12)] Dave is not quiet.[(triple13)] Dave is young.[(triple14)] Harry is nice.[(triple15)]