Uh  Yes. This is  that 's  that would be a good thing to try. It 's related to the Hobbs abduction story in that you th you throw everything into a pot and you try to come up with the , uh
Except there 's no  no theorem prover involved.
Best explanation.
No , there isn't a theorem prover but there  but  but the , um , The cove the  the P R Ms are like rules of inference and you 're  you 're coupling a bunch of them together.