Dave is cold. Dave is furry. Dave is kind. Dave is rough. Dave is round. Dave is smart. Dave is young. If Dave is kind and Dave is furry then Dave is rough. If someone is cold and not young then they are kind. All kind people are smart.
Dave is not cold.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is rough.[(triple4 OR ((triple3 triple2) -> rule1))] Dave is round.[(triple5)] Dave is smart.[(triple6 OR ((triple3) -> rule3))] Dave is young.[(triple7)]