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