Charlie is big. Dave is not big. Dave is cold. Dave is kind. Dave is nice. Dave is smart. Erin is kind. Erin is quiet. Erin is smart. Erin is young. Fiona is quiet. Fiona is young. If something is cold and not young then it is nice. All young things are big. All nice things are smart. If something is smart and big then it is kind. All kind, cold things are quiet. If Erin is quiet then Erin is smart. If something is big and not young then it is cold. If something is cold and not nice then it is quiet.
Charlie is cold.