Dave is furry. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is white. Dave is young. Young things are rough. All furry things are round.
Dave is furry.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4 OR ((triple7) -> rule1))] Dave is round.[(triple5 OR ((triple1) -> rule2))] Dave is white.[(triple6)] Dave is young.[(triple7)]