Anne is kind. Dave is green. Erin is furry. Erin is red. Erin is rough. Fiona is blue. Fiona is furry. All kind, furry things are blue. All furry things are kind. If something is kind and green then it is blue. All rough things are blue. If something is rough then it is cold. Red, kind things are cold.
Erin is not cold.