Anne is big. Anne is furry. Anne is round. Erin is furry. Erin is nice. Erin is red. Erin is round. Fiona is big. Fiona is red. Gary is big. Gary is furry. Gary is not kind. Gary is nice. Gary is red. Gary is round. If Fiona is red and Fiona is not furry then Fiona is blue. If something is nice and not kind then it is round. All furry, red things are big. All big, furry things are nice. If Gary is kind and Gary is red then Gary is not nice. All furry things are not kind.
Erin is not blue.