Bob is red. Bob is smart. Charlie is big. Charlie is blue. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Erin is blue. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is white. If someone is white then they are round. All round people are smart. Round people are quiet. If someone is smart then they are round. All big people are white. If someone is round then they are red.
Bob is not round.