To use the consistency utility, enter one or more sentences in the upper part of the window. Then click the "Test consistency" button.
If the sentences are consistent, a valuation that makes all of them true is displayed in the lower part of the window.
Any line with # as its first character will be ignored by the consistency utility. If any of the sentences contains a syntax error, an error message is displayed.