Bob is big. Bob is furry. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is young. Gary is big. Gary is furry. Gary is nice. Gary is red. Gary is round. Gary is smart. Gary is young. Big people are young. If Gary is nice then Gary is big. Smart, red people are round. If someone is young and smart then they are furry. Round, red people are furry. All nice people are big.
Gary is not nice.