Dave is not big. Dave is cold. Dave is green. Dave is nice. Dave is quiet. Dave is round. Dave is young. If someone is young and not round then they are cold.
Dave is not cold.
@0: Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is not big.[(triple1)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7)]