Anne is red. Erin is nice. Red things are white. All young, big things are white. If Erin is big and Erin is red then Erin is young.
Anne is not red.
@0: Anne is red.[(triple1)] Erin is nice.[(triple2)] @1: Anne is white.[(((triple1) -> rule1))]