Bob is big. Charlie is not kind. All cold, furry people are green. Green people are smart. If someone is cold and white then they are not big. If someone is white then they are green. If someone is not white then they are not green. If someone is not smart then they are not cold.
Charlie is smart.