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