Make the slow hack a bit faster
Fix embodied inference
Refactor the find method
Refactor the find method some more
Only search the incoming set of a node (much better)
Remove print
Bulk application of a rule on all suitable inputs
A rule for calculating Subset NOT(A) B
Fix Modus Ponens formula