Anne is round. Anne is young. Bob is big. Bob is furry. Bob is smart. Bob is white. Charlie is big. Big people are green. If Charlie is young then Charlie is green. If Charlie is green then Charlie is furry. If someone is round and green then they are furry. If someone is furry and green then they are white. If Charlie is big and Charlie is green then Charlie is smart.
Charlie is big.