Bob is furry. Bob is quiet. Charlie is nice. Charlie is quiet. Dave is red. Dave is rough. Gary is furry. If Gary is red and Gary is quiet then Gary is big. If Gary is big and Gary is quiet then Gary is not furry. White things are rough. If Dave is rough and Dave is quiet then Dave is not nice. All furry things are red. If something is not big then it is white.
Charlie is red.