Bob is kind. Bob is round. Bob is smart. Charlie is kind. Charlie is red. Charlie is smart. Fiona is red. Fiona is white. Harry is kind. Harry is smart. If something is green then it is white. All red, white things are green. White, red things are green. If something is white and round then it is kind. If Fiona is green then Fiona is smart. If Bob is red then Bob is kind.
Fiona is not smart.