Charlie is green. Dave is smart. Harry is smart. If Charlie is smart then Charlie is green. Cold, white people are nice. Big, rough people are cold. Green people are rough. Green people are big. If someone is cold and green then they are nice.
Harry is not smart.