Anne is blue. Charlie is not kind. Dave is not kind. Erin is young. If Anne is blue and Anne is white then Anne is red.
Erin is blue.
@0: Anne is blue.[(triple1)] Charlie is not kind.[(triple2)] Dave is not kind.[(triple3)] Erin is young.[(triple4)]