Dave is not green. Dave is not rough. Dave is white. Dave is not young. Harry is rough. Harry is white. Harry is young. If someone is young and not rough then they are not green.
Dave is young.
@0: Dave is not green.[(triple1)] Dave is not rough.[(triple2)] Dave is not young.[(triple4)] Dave is white.[(triple3)] Harry is rough.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]