Anne is round. Dave is white. Harry is young. All smart, young things are nice. All smart, young things are nice. Green, young things are not white. All smart things are not green. If Anne is nice and Anne is not young then Anne is green. If Harry is round then Harry is not green.
Harry is round.
@0: Anne is round.[(triple1)] Dave is white.[(triple2)] Harry is young.[(triple3)]