Dave is round. Dave is not young. Gary is young. If Dave is rough and Dave is green then Dave is nice.
Dave is not nice.
@0: Dave is not young.[(triple2)] Dave is round.[(triple1)] Gary is young.[(triple3)]