Anne is kind. Anne is nice. Anne is red. Anne is white. Charlie is nice. Gary is kind. Harry is young. All nice people are furry. If someone is young then they are red. If Gary is white and Gary is young then Gary is furry. Red people are kind. If someone is big then they are nice. If someone is nice and young then they are white. All kind people are big.
Gary is not nice.