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