Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is smart. Dave is young. If Dave is red and Dave is smart then Dave is furry. Furry things are nice.
Dave is not furry.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2 OR ((triple5 triple6) -> rule1))] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple2) -> rule2) OR ((((triple5 triple6) -> rule1)) -> rule2))] Dave is red.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)]