Dave is blue. Dave is cold. Dave is not green. Dave is kind. Dave is nice. Dave is white. Dave is young. If someone is blue and not young then they are not green. All green people are cold.
Dave is blue.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is not green.[(triple3)] Dave is white.[(triple6)] Dave is young.[(triple7)]