Charlie is young. Dave is white. Harry is not nice. All young, smart people are not green. If Harry is not smart then Harry is young. If someone is white and not young then they are not round.
Harry is not nice.
@0: Charlie is young.[(triple1)] Dave is white.[(triple2)] Harry is not nice.[(triple3)]