Bob is big. Bob is rough. Bob is round. Charlie is round. Fiona is big. Fiona is quiet. Fiona is rough. Fiona is smart. Gary is big. Gary is green. Gary is quiet. Gary is smart. Big people are green. If someone is kind then they are green. If someone is rough and green then they are kind. All kind, smart people are round. All kind people are green. If Bob is green and Bob is smart then Bob is quiet.
Charlie is not green.