Anne is not big. Anne is cold. Anne is furry. Anne is red. Charlie is furry. Dave is furry. Harry is kind. If Charlie is not cold then Charlie is big. Red, furry people are kind. Kind people are red. If someone is red and not furry then they are not cold. Smart, kind people are red. If Harry is cold then Harry is rough. If Anne is not rough and Anne is not smart then Anne is cold. If someone is kind and not cold then they are not rough.
Dave is cold.