Anne is round. Charlie is big. Charlie is not cold. Charlie is not furry. Charlie is kind. Charlie is not round. Charlie is smart. Fiona is not cold. Fiona is not smart. Gary is green. If Charlie is kind and Charlie is big then Charlie is smart. If Anne is furry and Anne is round then Anne is not green. If someone is round then they are green. If someone is not big then they are not smart. If someone is furry and not round then they are cold. Round people are kind.
Fiona is not kind.