Charlie is white. Dave is young. Erin is cold. All round things are young. If Dave is young and Dave is white then Dave is round.
Dave is not round.
@0: Charlie is white.[(triple1)] Dave is young.[(triple2)] Erin is cold.[(triple3)]