:test (exists n:N. 2n == 0) /\ (exists n:N. 2n == 0)
:test (exists n:N. 2n == 0) /\ (forall n:N. n >= 0)
:test (exists n:N. 2n == 0) /\ (forall n:N. n > 0)
:test (exists n:N. 2n == 0) /\ (exists n:N. 2n == 1)
:test (forall n:N. n >= 0) /\ (exists n:N. 2n == 0)
:test (forall n:N. n >= 0) /\ (forall n:N. n >= 0)
:test (forall n:N. n >= 0) /\ (forall n:N. n > 0)
:test (forall n:N. n >= 0) /\ (exists n:N. 2n == 1)
:test (forall n:N. n > 0) /\ (exists n:N. 2n == 0)
:test (forall n:N. n > 0) /\ (forall n:N. n >= 0)
:test (forall n:N. n > 0) /\ (forall n:N. n > 0)
:test (forall n:N. n > 0) /\ (exists n:N. 2n == 1)
:test (exists n:N. 2n == 1) /\ (exists n:N. 2n == 0)
:test (exists n:N. 2n == 1) /\ (forall n:N. n >= 0)
:test (exists n:N. 2n == 1) /\ (forall n:N. n > 0)
:test (exists n:N. 2n == 1) /\ (exists n:N. 2n == 1)
:test (exists n:N. 2n == 0) \/ (exists n:N. 2n == 0)
:test (exists n:N. 2n == 0) \/ (forall n:N. n >= 0)
:test (exists n:N. 2n == 0) \/ (forall n:N. n > 0)
:test (exists n:N. 2n == 0) \/ (exists n:N. 2n == 1)
:test (forall n:N. n >= 0) \/ (exists n:N. 2n == 0)
:test (forall n:N. n >= 0) \/ (forall n:N. n >= 0)
:test (forall n:N. n >= 0) \/ (forall n:N. n > 0)
:test (forall n:N. n >= 0) \/ (exists n:N. 2n == 1)
:test (forall n:N. n > 0) \/ (exists n:N. 2n == 0)
:test (forall n:N. n > 0) \/ (forall n:N. n >= 0)
:test (forall n:N. n > 0) \/ (forall n:N. n > 0)
:test (forall n:N. n > 0) \/ (exists n:N. 2n == 1)
:test (exists n:N. 2n == 1) \/ (exists n:N. 2n == 0)
:test (exists n:N. 2n == 1) \/ (forall n:N. n >= 0)
:test (exists n:N. 2n == 1) \/ (forall n:N. n > 0)
:test (exists n:N. 2n == 1) \/ (exists n:N. 2n == 1)
:test (exists n:N. 2n == 0) -> (exists n:N. 2n == 0)
:test (exists n:N. 2n == 0) -> (forall n:N. n >= 0)
:test (exists n:N. 2n == 0) -> (forall n:N. n > 0)
:test (exists n:N. 2n == 0) -> (exists n:N. 2n == 1)
:test (forall n:N. n >= 0) -> (exists n:N. 2n == 0)
:test (forall n:N. n >= 0) -> (forall n:N. n >= 0)
:test (forall n:N. n >= 0) -> (forall n:N. n > 0)
:test (forall n:N. n >= 0) -> (exists n:N. 2n == 1)
:test (forall n:N. n > 0) -> (exists n:N. 2n == 0)
:test (forall n:N. n > 0) -> (forall n:N. n >= 0)
:test (forall n:N. n > 0) -> (forall n:N. n > 0)
:test (forall n:N. n > 0) -> (exists n:N. 2n == 1)
:test (exists n:N. 2n == 1) -> (exists n:N. 2n == 0)
:test (exists n:N. 2n == 1) -> (forall n:N. n >= 0)
:test (exists n:N. 2n == 1) -> (forall n:N. n > 0)
:test (exists n:N. 2n == 1) -> (exists n:N. 2n == 1)
:test (exists n:N. 2n == 1) -> ((exists n:N. 2n == 1) /\ (5 == 5 \/ (forall n:N. n < 5)))