Bob is not big. Bob is green. Erin is big. Erin is blue. Erin is green. Erin is not quiet. Erin is rough. All big things are round. If Erin is smart then Erin is blue. If something is smart then it is not blue.
Bob is not green.