Bob is green. Dave is cold. Harry is furry. If something is cold then it is not furry. Cold things are kind. All green things are cold. Green things are not blue. If Harry is young then Harry is not red. All green, furry things are young. If something is red and not cold then it is young. If something is green and not furry then it is young.
Bob is furry.
@0: Bob is green.[(triple1)] Dave is cold.[(triple2)] Harry is furry.[(triple3)] @1: Bob is cold.[(((triple1) -> rule3))] Bob is not blue.[(((triple1) -> rule4))] Dave is kind.[(((triple2) -> rule2))] Dave is not furry.[(((triple2) -> rule1))] @2: Bob is kind.[(((((triple1) -> rule3)) -> rule2))] Bob is not furry.[(((((triple1) -> rule3)) -> rule1))] @3: Bob is young.[(((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule8))]