Anne is cold. Anne is smart. Bob is big. Bob is not cold. Bob is furry. Charlie is big. Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is nice. Charlie is not smart. Gary is big. Gary is cold. Gary is furry. Gary is smart. If someone is green then they are nice. If someone is kind then they are big. All kind, furry people are nice. Nice people are kind. If someone is cold and not green then they are nice. If Gary is big then Gary is cold. If someone is not kind then they are not green. If Anne is kind and Anne is not nice then Anne is big.
Charlie is big.