Anne is blue. Anne is furry. Anne is rough. Anne is white. Erin is big. Erin is kind. Erin is smart. If someone is kind and not blue then they are big. If Anne is not kind then Anne is big.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Erin is big.[(triple5)] Erin is kind.[(triple6)] Erin is smart.[(triple7)]