asymmetric reasoning
Merge branch 'dev' of https://github.com/wolfe-pack/wolfe into dev
Merge branch 'dev' of https://github.com/wolfe-pack/wolfe into dev
Merge remote-tracking branch 'origin/dev' into dev
apps: added simple logical inference
apps: added new cell type "inferred" to allow for logical inference after MF