Dave is blue. Dave is not cold. Dave is kind. Dave is red. Dave is round. Dave is smart. Dave is young. If Dave is not young then Dave is red.
Dave is round.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple3)] Dave is not cold.[(triple2)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)]