This example has been heavily borrowed from the standard Bell example here: https://docs.microsoft.com/en-us/quantum/quickstart?view=qsharp-preview&tabs=tabid-vscode
The only differences relate to changing the domain from ringing a bell to determining the life of a cat (presumably, Schroedinger's).