Anne is cold. Anne is white. Charlie is kind. Charlie is young. Dave is not furry. Dave is not round. Erin is cold. Erin is not kind. Erin is rough. Erin is white. If Dave is young then Dave is white.
Charlie is furry.
@0: Anne is cold.[(triple1)] Anne is white.[(triple2)] Charlie is kind.[(triple3)] Charlie is young.[(triple4)] Dave is not furry.[(triple5)] Dave is not round.[(triple6)] Erin is cold.[(triple7)] Erin is not kind.[(triple8)] Erin is rough.[(triple9)] Erin is white.[(triple10)]