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