Bob is big. Bob is furry. Bob is quiet. Bob is rough. Bob is smart. Charlie is big. Charlie is furry. Dave is furry. Dave is nice. Erin is big. Erin is blue. Erin is furry. Erin is nice. Erin is quiet. Erin is rough. Erin is smart. If something is smart and nice then it is blue. All nice things are smart. If something is big then it is quiet. If Erin is blue then Erin is smart. All quiet things are rough. If something is big and nice then it is smart. All big, nice things are smart. All smart things are blue. All nice, blue things are big.
Dave is not quiet.