Anne is big. Anne is blue. Anne is round. Anne is white. Bob is big. Bob is blue. Bob is kind. Bob is round. Bob is smart. Bob is young. Erin is big. Gary is big. Gary is blue. Gary is smart. Gary is white. If something is big then it is smart. If something is smart then it is young. If Erin is kind and Erin is white then Erin is round. If Anne is round then Anne is kind. If something is blue and white then it is smart. If Gary is round and Gary is young then Gary is blue.
Anne is not young.