Charlie is big. Charlie is cold. Charlie is not green. Charlie is quiet. Charlie is red. Charlie is not round. Charlie is smart. Harry is not big. Harry is cold. Harry is green. Harry is quiet. Harry is red. Cold people are red. All smart, quiet people are red. Smart, round people are red. All red people are cold. All red people are quiet. Green people are round. If someone is green and not round then they are smart. If someone is big and not cold then they are quiet.
Charlie is not smart.