Dave is blue. Dave is furry. Dave is quiet. Dave is red. Dave is round. Dave is white. Dave is young. If Dave is round then Dave is furry.
Dave is young.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2 OR ((triple5) -> rule1))] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]