Bob is nice. Charlie is not big. Charlie is cold. Charlie is red. Charlie is not smart. Dave is kind. Erin is nice. Kind people are big. If someone is big then they are not smart. If Dave is not quiet then Dave is not red.
Bob is quiet.