Anne is furry. Harry is green. Harry is white. All smart, furry people are rough. If Anne is not smart then Anne is blue. Blue people are not furry. If Harry is furry and Harry is rough then Harry is smart. Furry people are green. Furry, green people are not cold. If Anne is rough and Anne is white then Anne is cold. If someone is furry and not rough then they are white.
Anne is blue.
@0: Anne is furry.[(triple1)] Harry is green.[(triple2)] Harry is white.[(triple3)] @1: Anne is green.[(((triple1) -> rule5))] @2: Anne is not cold.[(((triple1 ((triple1) -> rule5)) -> rule6))]