Bob is big. Bob is blue. Bob is not green. Bob is not quiet. Bob is round. Bob is smart. Bob is white. Dave is big. Dave is blue. Dave is not green. Dave is not quiet. Dave is not round. Dave is smart. Dave is white. If someone is green and not round then they are big. If Bob is not blue then Bob is not big.
Dave is white.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is not green.[(triple3)] Bob is not quiet.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is not green.[(triple10)] Dave is not quiet.[(triple11)] Dave is not round.[(triple12)] Dave is smart.[(triple13)] Dave is white.[(triple14)]