"Containers" Paper Appendix

Appendix for "Commonsense Reasoning about Containers using Radically Incomplete Information" by Ernest Davis, Gary Marcus, and Noah Frazier-Logue. This appendix includes the formal proofs for the inferences seen in the paper as well as the SPASS-verified proofs. Click on the headings in each box to explore the SPASS files for each proof and its lemmas/individual parts (if applicable).

Formal Natural Deduction Proofs for Inferences

Inference 1

Inference 2

Inference 3

Inference 4

Inference 5

Spatial Lemmas