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