Dave is red. Dave is not round. Harry is red. If Harry is white and Harry is round then Harry is young.
Harry is white.
@0: Dave is not round.[(triple2)] Dave is red.[(triple1)] Harry is red.[(triple3)]