Anne is not nice. Erin is big. Erin is kind. Erin is nice. Erin is red. Erin is not white. Fiona is kind. All red things are smart.
Erin is white.
@0: Anne is not nice.[(triple1)] Erin is big.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is not white.[(triple6)] Erin is red.[(triple5)] Fiona is kind.[(triple7)] @1: Erin is smart.[(((triple5) -> rule1))]