Level: Lib Thy Top: 1
Hypotheses:

  1. E :

  2. T :

  3. L :

  4. Ach : Signature(E;T;L)

  5. Tor : Signature(E;T;L)

  6. Run(E;T;L;Ach)

  7. Run(E;T;L;Tor)

  8. Ach Tor

  9. Ach.t1 Tor.t1

  10. IVP(Ach)

  11. TEP

Conclusion:

False

Applied Tactic: Assert Ach Tor THENA Auto
Generated subgoals:

1. False