Bob is big. Bob is not red. Charlie is furry. Charlie is red. Dave is quiet. Dave is round. Dave is white. If Bob is furry and Bob is red then Bob is not big. If Dave is cold and Dave is round then Dave is furry. Big, white things are not red.
Dave is not furry.
@0: Bob is big.[(triple1)] Bob is not red.[(triple2)] Charlie is furry.[(triple3)] Charlie is red.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7)]