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