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.
Anne is not smart.
@0: Anne is smart.[(triple1)] Charlie is furry.[(triple2)] Erin is not furry.[(triple3)]