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