/usr/share/doc/prover9-doc/examples/BA4.in is in prover9-doc 0.0.200902a-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 | % This is a 4-basis for Boolean Algebra
x v (y v z) = y v (x v z). % AJ
x ^ y = (x' v y')'. % DM
x v x' = y v y'. % ONE
(x v y') ^ (x v y) = x. % CUT
|