Bob is big. Charlie is white. Dave is not nice. Erin is red. If something is green then it is red. If something is not round then it is green. All big, round things are red. Round, white things are smart. If something is red and green then it is big. If something is red and big then it is smart. If something is not red then it is big. If something is nice and not big then it is smart.
Dave is not nice.