Harry is young. If Harry is kind then Harry is red. All blue, furry people are red. If someone is young then they are furry. Kind, young people are cold. If someone is kind and green then they are cold. If Harry is young and Harry is furry then Harry is green.
Harry is not red.
@0: Harry is young.[(triple1)] @1: Harry is furry.[(((triple1) -> rule3))] @2: Harry is green.[(((triple1 ((triple1) -> rule3)) -> rule6))]