Anne is furry. Anne is green. Charlie is nice. Charlie is red. Fiona is green. Gary is green. Gary is red. All smart, red things are big. All furry things are nice. Cold, furry things are big. All smart, red things are cold. Nice things are big. If something is big then it is furry. All nice things are big. Cold things are green.
Gary is cold.