Dave is not big. Dave is cold. Dave is round. All blue people are big. If someone is blue then they are big. If Dave is white then Dave is cold. If Dave is big then Dave is cold. If someone is big and not white then they are not cold. All rough people are cold.
Dave is cold.
@0: Dave is cold.[(triple2)] Dave is not big.[(triple1)] Dave is round.[(triple3)]