Deducible! Deducible! is a library for dealing with 0th, 1st, and higher logic in JavaScript. Currently this library is fairly unstable and its APIs are subject to change. Don't use this in production environment.