Dave is blue. Dave is green. Dave is quiet. If someone is green and red then they are cold. All cold, red people are big.
Dave is not quiet.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)]