True or False

This program is in the experimental stage of development! You may need to recompile it as you run it.

This program is made to determine which documents are true and which documents are false. User is supposed to input 2 true documents and one false document, while the program needs to determine based on those settings which other documents fall into a such true/false category.

How does this work?
According to a logical implication, the following holds:
1. false implies anything
2. true implies only true

When document is trained in certain ways, the limits are obtained. According to those limits, if the implication rule holds, then we can say that document is true. If it doesn't hold, it isn't true enough thus it is sorted as false.