Bob is quiet. Bob is young. Charlie is big. Charlie is cold. Charlie is quiet. Dave is big. Dave is cold. Dave is red. Dave is not smart. Dave is young. Erin is blue. Erin is not smart. All cold things are big. All young things are cold. Blue, big things are quiet. If something is young and not red then it is blue. If something is quiet and big then it is not smart. If something is not red and not quiet then it is not young. If Charlie is not cold then Charlie is blue. If something is not cold then it is blue.
Erin is big.