Countermodel Checker
Enter an invalid sequent:
Premises
(comma separated)
Conclusion
