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