TrapIA
Premises:
(forall ?UL (forall ?UR (forall ?LR (forall ?LL (=> (Trapezoid ?UL ?UR ?LR ?LL) (Parallel ?UL ?UR ?LR ?LL)))))) (forall ?UL (forall ?UR (forall ?LR (forall ?LL (=> (Parallel ?UL ?UR ?LR ?LL) (EqualAngles ?UL ?UR ?LL ?LR ?LL ?UR)))))) (Trapezoid ul ur lr ll)
Conclusion:
(EqualAngles ul ur ll lr ll ur)
Proof Trace