Bob is red. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is round. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. If someone is kind and not red then they are smart. Green people are cold. If someone is smart then they are not furry. All green, smart people are kind. If Bob is green then Bob is round. If someone is not kind then they are furry. If someone is furry and not kind then they are green. If someone is kind and not furry then they are not cold.
Fiona is not red.