Anne is not furry. Anne is not nice. Anne is rough. Anne is round. Anne is smart. Dave is furry. Dave is rough. Dave is round. Dave is smart. Dave is white. If Anne is not rough and Anne is not white then Anne is not furry. All round things are young.
Anne is not furry.
@0: Anne is not furry.[(triple1)] Anne is not nice.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Dave is furry.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Dave is white.[(triple10)] @1: Anne is young.[(((triple4) -> rule2))] Dave is young.[(((triple8) -> rule2))]