Anne is furry. Anne is rough. Anne is young. Erin is nice. Erin is young. Fiona is furry. Fiona is nice. Smart things are rough. All furry, smart things are young. All young, smart things are furry.
Fiona is not rough.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Erin is nice.[(triple4)] Erin is young.[(triple5)] Fiona is furry.[(triple6)] Fiona is nice.[(triple7)]