Every sentence must begin with either "it is|a consistent that" or "it is|a contradictory that". More options will be available in the future. To use a word which is superscripted then put a | before the letter which is to be superscripted. If the word has two superscripts then place a | before both of the superscripted letters.
Sentences can only be tested if all of the words appear in our dictionary. Unfortunately, not all of the words which appear in our dictionary are written using syntax which has been coded for. I will try to fix this mistake in the future. All of the words in our 'tested dictionary' have been used at least once and are therefore more reliable.
Without an understanding of how this system disambiguates words it is very unlikely that a sentence will result in the correct output for the right reasons. Let me give one example. The word 'is' currently has four definitions and will have more in the future. So the is of existence is spelled as 'is|e', the 'is' which is followed by the indefinite article and a noun is spelled as 'is|g', the 'is' which is followed by an adjective is spelled as 'is|a' and in some cases such as 'Will is left of Kate', 'is' is simply redundant, can be deleted and is spelled as 'is|r'. Further, many contradictions are argued for because the sentence asserts that an object belongs to mutually exclusive categories. Without any knowledge as to what these categories, it is unlikely that a sentence will output the predicted result. Further, this system only calculates consistency and contradiction, it does not calculate truth and falsehood, so 'there are no dogs in San Diego' is a consistent sentence but false.
Lastly, the reader needs to know what grammatical constructions we have coded for. Our system currently has no grammar so the sentence 'I am dog not not not' comes out as consistent. It is difficult to state precisely exactly what type of grammar we can process so I will just state some rough rules of thumb:
We can evaluate sentences where
1. one adjective modifies a noun.
2. one noun appears in apposition to another noun such as 'the philosopher Leibniz thought, but not 'Leibniz the philosopher thought'.
3. one relative pronoun such as 'which' or 'who' appears.
4. the coordinator 'and' appears as in 'Leibniz and Aristotle thought' but I only coded this for the subject position.
5. one prepositional relation appears such as 'in' in the sentence: 'Leibniz thought in Hanover'.
Some very common constructions which we cannot evaluate are sentences where
1. the word 'that' is followed by a phrase such as 'Leibniz thinks that this is good'.
2. the infinitival 'to' is used as in 'Marilyn wants to go home'.
3. there is a sentence property such as 'it is interesting that Kiera Knightley acted'.
4. there is a gerund such as "I saw Audrey Hepburn sitting".