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