Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is smart. All quiet things are rough. Red things are furry.
Dave is not quiet.
@0: Dave is furry.[(triple1 OR ((triple4) -> rule2))] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule1))] Dave is round.[(triple6)] Dave is smart.[(triple7)]