Charlie is red. Dave is cold. Dave is red. All red, big things are white. Green, big things are red. If something is red then it is smart. All red things are cold. If something is white then it is red. All young, smart things are big. All green things are white. If something is white and young then it is big.
Charlie is not young.