See modus_ponens for some documentation, check:

https://crates.io/crates/modus_ponens