Anne is not blue. Anne is furry. Anne is young. Erin is furry. Erin is rough. Fiona is furry. Harry is rough. Harry is round. Harry is white. Harry is young. Furry people are white.
Erin is not furry.
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Anne is young.[(triple3)] Erin is furry.[(triple4)] Erin is rough.[(triple5)] Fiona is furry.[(triple6)] Harry is rough.[(triple7)] Harry is round.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Anne is white.[(((triple2) -> rule1))] Erin is white.[(((triple4) -> rule1))] Fiona is white.[(((triple6) -> rule1))]