Anne is smart. Charlie is furry. Erin is not furry. If Anne is not nice then Anne is white. If Erin is nice then Erin is red.
Erin is not red.
@0: Anne is smart.[(triple1)] Charlie is furry.[(triple2)] Erin is not furry.[(triple3)]