Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is red. Charlie is big. Charlie is cold. Charlie is red. Dave is furry. Dave is green. Dave is red. Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Red, furry things are big. If something is green then it is nice. If something is big then it is kind. All green things are nice. Cold, green things are kind. If something is kind and green then it is furry.
Charlie is not nice.