Dave is big. Dave is not blue. Dave is green. Dave is not round. Dave is not smart. Dave is white. Dave is young. If someone is smart and not blue then they are not young. All round, green people are young. If someone is blue and not round then they are smart.
Dave is blue.
@0: Dave is big.[(triple1)] Dave is green.[(triple3)] Dave is not blue.[(triple2)] Dave is not round.[(triple4)] Dave is not smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]