Anne is furry. Erin is nice. Erin is red. Erin is smart. Erin is not white. Erin is young. Fiona is big. Fiona is nice. Fiona is red. Fiona is smart. If something is big and not young then it is not red.
Anne is big.
@0: Anne is furry.[(triple1)] Erin is nice.[(triple2)] Erin is not white.[(triple5)] Erin is red.[(triple3)] Erin is smart.[(triple4)] Erin is young.[(triple6)] Fiona is big.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Fiona is smart.[(triple10)]