Anne is kind. Anne is rough. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Erin is rough. Erin is smart. Fiona is round. Fiona is white. White things are furry. All smart, white things are round. Furry, smart things are round.
Anne is not furry.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Charlie is furry.[(((triple5) -> rule1))] Fiona is furry.[(((triple10) -> rule1))]