Bob is kind. Charlie is round. Dave is red. Gary is young. All red people are big. Kind, round people are young. If someone is round then they are kind. If someone is young then they are red. If Gary is round then Gary is big. If Bob is kind and Bob is young then Bob is red. If someone is round then they are kind. Big people are young.
Charlie is not kind.