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