Anne is red. Anne is smart. Dave is furry. Dave is green. Dave is round. Fiona is round. Fiona is smart. Gary is furry. Gary is kind. Gary is round. Gary is smart. If someone is green then they are furry. Young people are kind. Round people are green. Furry people are red. All red, round people are young.
Gary is not smart.