If Japan becomes a permanent member, then Germany, India and Brazil will also become permanent members. This shows:. ['If Japan has not become a permanent member, then at least one of Germany, India and Brazil has not become a permanent member.', 'If Japan has not become a permanent member, then Germany, India and Brazil have not become permanent members.', 'If Germany, India, and Brazil all become permanent members, then Japan also becomes a permanent member.', 'If Germany does not become a permanent member, then India and Japan will not be permanent members.']