Charlie is not green. Dave is rough. Gary is round. Blue, quiet people are green. Smart people are green. If Gary is rough then Gary is not quiet. If someone is green then they are red. If Dave is not round and Dave is not quiet then Dave is green. If someone is green and smart then they are not rough.
Dave is not green.
@0: Charlie is not green.[(triple1)] Dave is rough.[(triple2)] Gary is round.[(triple3)]