Charlie is furry. Charlie is green. Charlie is not kind. Charlie is not smart. Gary is big. Gary is cold. Gary is rough. If something is not rough then it is big. Kind, furry things are cold. If Gary is kind and Gary is green then Gary is not smart. All rough things are big. If something is cold and not smart then it is furry. If Gary is rough then Gary is green. If something is green and rough then it is cold. Cold things are big.
Charlie is not cold.