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).