Dave is blue. Dave is green. Dave is young. If someone is red and not smart then they are nice. If Dave is red and Dave is not smart then Dave is blue. If someone is blue and not nice then they are big.
Dave is green.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is young.[(triple3)]