Dave is not big. Dave is cold. Dave is furry. Dave is red. Dave is not rough. Dave is smart. Dave is not young. Smart things are not big.
Dave is not furry.
@0: Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is not big.[(triple1 OR ((triple6) -> rule1))] Dave is not rough.[(triple5)] Dave is not young.[(triple7)] Dave is red.[(triple4)] Dave is smart.[(triple6)]