Charlie is big. Charlie is red. Dave is white. All red things are green. If something is white then it is green. If something is big and green then it is furry. All big things are green. If something is big and green then it is smart. If something is smart then it is big.
Dave is green.