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