Ive thought about a browser extension which converts slabs of text into propositional logic,

eg: https://math.stackexchange.com/questions/421312/converting-t...

I wonder if the text doesnt equate to true....you can just assume incredibility off the bat. If it passes - you can continue...

do you use this concept in this project? Curious :)