Dave is blue. Dave is nice. Dave is round. If someone is kind and not nice then they are round. If someone is nice and not furry then they are round. Cold, furry people are not blue. Rough people are blue. If Dave is blue then Dave is cold. If someone is cold and not rough then they are kind. All blue people are cold. If Dave is round and Dave is furry then Dave is kind.
Dave is furry.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2)] Dave is round.[(triple3)] @1: Dave is cold.[(((triple1) -> rule5) OR ((triple1) -> rule7))]