Exemplary Proofs
Using no more than the axioms and theorems recorded so far, it is possible to prove a multitude of much more complex theorems. A couple of all‑time favorites are linked below.
cc: FB | Logical Graphs • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science
Inquiry Into Inquiry 
Pingback: Survey of Animated Logical Graphs • 5 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 6 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 7 | Inquiry Into Inquiry