Charlie is white. Dave is not red. Dave is white. Dave is young. Erin is rough. Erin is round. Harry is not red. If something is rough and kind then it is white. If Erin is red then Erin is kind.
Harry is not white.
@0: Charlie is white.[(triple1)] Dave is not red.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Harry is not red.[(triple7)]