Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is round. Anne is smart. Anne is young. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Dave is young. All quiet, round things are smart.
Anne is nice.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple4 triple5) -> rule1))] Anne is young.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10)] Dave is quiet.[(triple11)] Dave is round.[(triple12)] Dave is smart.[(triple13 OR ((triple11 triple12) -> rule1))] Dave is young.[(triple14)]