Bob is round. Bob is young. Charlie is kind. Fiona is big. Fiona is green. Fiona is kind. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. Gary is big. Gary is smart. Green things are white. All green, white things are young. If something is green and young then it is round. All round things are kind. If something is round and smart then it is kind. All big things are green. Round, young things are big. If Bob is young and Bob is round then Bob is smart.
Charlie is not young.