Bob is blue. Bob is furry. Bob is smart. Fiona is furry. Fiona is kind. Fiona is smart. Gary is big. Gary is green. Harry is green. Harry is kind. All furry people are kind. Smart people are big. Blue people are green. Kind people are young. Green people are smart. If someone is young then they are blue. All blue, smart people are kind. All smart people are furry. All young people are green.
Gary is not young.