Statements
- LABC & LDEF
- LGHI ~ LDEF
- LDEF & LABC
- 2GHI ≥ ZABC
LDEF
2 GHI
Reasons
- given
- given
- symmetric property
- transitive property
2 GHI
Reasons