Anne is furry. Anne is rough. Anne is white. Fiona is furry. Fiona is kind. Fiona is not rough. Fiona is round. If something is round and not nice then it is kind. If something is round then it is young. White, kind things are young. If Anne is young and Anne is rough then Anne is round. If something is nice then it is not rough. If Fiona is not white and Fiona is not nice then Fiona is not young.
Fiona is furry.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Fiona is furry.[(triple4)] Fiona is kind.[(triple5)] Fiona is not rough.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is young.[(((triple7) -> rule2))]