Anne is blue. Anne is furry. Anne is kind. Anne is rough. Bob is blue. Bob is cold. Bob is kind. Bob is nice. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Fiona is blue. Fiona is red. Fiona is rough. If Bob is red then Bob is kind. If something is blue then it is rough. Kind things are rough. Furry things are blue. Furry, blue things are cold. Blue, furry things are rough. Kind things are blue. Kind things are red.
Fiona is not cold.