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