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