SPASS code for my AI research with Ernie Davis at NYU.
Each inference has its own folder, and the inferences may be broken into subsections that contribute to the final proof.
Code comments should clarify which axioms are used in the proofs.
##current Progress Inference 1: done, 4 parts
Inference 2: done, 1 part
Inference 3: done, 1 part
Inference 4: done, 2 parts (multiple auxiliary parts)
Inference 5: done, 5 parts (multiple auxiliary parts)
Spatial Lemmas: in progress
###Useful commands###
find . -name "*.dfg" -print | xargs grep "OTA3"