path: root/examples/systemS/ex1eng.txt

We will show that A -> B -> A.
It is enough to assume A and show B -> A.
It is enough to assume A, B and show A.
But this holds trivially.