Anne is furry. Anne is green. Anne is rough. Anne is round. Dave is furry. Dave is round. Dave is smart. Young, smart things are furry. All smart things are white.
Dave is not round.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Dave is furry.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)] @1: Dave is white.[(((triple7) -> rule2))]