Countermodel Checker

Enter an invalid sequent:
Premises (comma separated) Conclusion