Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is smart. Charlie is kind. Charlie is rough. Fiona is red. Gary is kind. Gary is smart. If something is red then it is young. If something is rough and round then it is green. All round things are rough. If something is red and rough then it is green. Green things are round. Red, kind things are rough. Kind, young things are rough. All young things are kind.
Charlie is young.