Level: Lib Thy Top:
Hypotheses:

None

Conclusion:

F:Formula. |= F |= <[], F::[]>

Applied Tactic: Repeat (D 0 THENA Auto)
Generated subgoals:

1. a |= <[], F::[]>

2. a |= F