Proof with these axioms.

Examples

Reasoning:

Homepage Instructions