Anne is not blue. Anne is not white. Erin is kind. Erin is quiet. Erin is red. Fiona is big. Fiona is white. If someone is white then they are red. If Fiona is quiet and Fiona is blue then Fiona is big.
Anne is not red.
@0: Anne is not blue.[(triple1)] Anne is not white.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Fiona is big.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is red.[(((triple7) -> rule1))]