Bob is blue. Bob is not quiet. Bob is red. Bob is not round. Bob is smart. Bob is white. Dave is big. Dave is blue. Dave is quiet. Dave is red. Dave is round. Dave is not white. If something is big and not blue then it is not round.
Dave is not quiet.
@0: Bob is blue.[(triple1)] Bob is not quiet.[(triple2)] Bob is not round.[(triple4)] Bob is red.[(triple3)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is not white.[(triple12)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is round.[(triple11)]