Erin is not furry. Erin is green. Erin is not round. Erin is not smart. Erin is not young. Fiona is round. Fiona is white. Furry things are white. All white things are furry. Young things are rough. All smart, round things are green. All rough things are round. Furry, smart things are round. If something is smart and not furry then it is not round. All green, smart things are young.
Fiona is not young.
@0: Erin is green.[(triple2)] Erin is not furry.[(triple1)] Erin is not round.[(triple3)] Erin is not smart.[(triple4)] Erin is not young.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is furry.[(((triple7) -> rule2))]