Dave is big. Dave is furry. Dave is green. Erin is big. Erin is white. Fiona is furry. Gary is smart. All furry things are big. If something is red then it is furry. If something is white and smart then it is red. If something is smart then it is green. If Dave is furry and Dave is round then Dave is white. If something is white then it is green. If something is green then it is white. If something is big and not green then it is furry. If something is white and not furry then it is big.
Dave is big.