1. There is no spicy ice cream (From "Modified Pizza Ontology" - Using ELK Size Minimal Proof)
2. There is no spicy ice cream (From "Modified Pizza Ontology" - Using ELK Weighted Size Minimal Proof - condensed)
3. Every sebaceous gland is a holocrine gland (From "Skin Physiology Ontology" - Using LETHE Proof)
4. Every sebaceous gland is a holocrine gland (From "Skin Physiology Ontology" - Using LETHE Detailed Proof)
5. Sebaceous glands are entities (From "Skin Physiology Ontology" - Using FAME Size Minimal Proof)
6. Sebaceous glands are entities (From "Skin Physiology Ontology" - Using FAME Size Minimal Proof - condensed)
7. Every pathological process of urinary tract is a non-canonical processual entity (From "Dispedia Core Ontology" - Using ELK Size Minimal Proof)
8. Every pathological process of urinary tract is a non-canonical processual entity (From "Dispedia Core Ontology" - Using ELK Depth Minimal Proof - condensed)
9. Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using LETHE Proof)
10. Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using LETHE Detailed Proof)
11. Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using FAME Proof)
12. Every Transcription corepressor is a continuant (From "Gene Regulation Ontology" - Using FAME Proof - condensed)