Erin is blue. Gary is cold. Harry is cold. Rough things are green. If something is nice then it is blue. All furry, red things are nice. Red, green things are nice. All blue, furry things are cold. All red, nice things are not cold. If something is blue then it is furry. If Harry is blue and Harry is rough then Harry is cold.
Gary is not furry.
@0: Erin is blue.[(triple1)] Gary is cold.[(triple2)] Harry is cold.[(triple3)] @1: Erin is furry.[(((triple1) -> rule7))] @2: Erin is cold.[(((triple1 ((triple1) -> rule7)) -> rule5))]