Anne is cold. Anne is red. Bob is big. Bob is kind. Erin is green. Erin is red. Harry is big. If Erin is kind then Erin is red. Red, furry things are rough. If something is green and rough then it is kind. If something is cold then it is furry. Green things are cold. All furry, big things are cold. All kind things are big. If Anne is furry then Anne is cold.
Bob is not rough.