Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is smart. Bob is young. Charlie is big. Charlie is green. Charlie is nice. Charlie is smart. Charlie is young. Fiona is big. Fiona is green. Fiona is kind. Fiona is red. All kind people are smart. Kind people are green. If Charlie is green then Charlie is red. Kind, red people are nice. Young, red people are nice. All nice, green people are young.
Charlie is not nice.