Symbolic Logic and Applications

"Automate all of logic!" I say,
And build a machine without delay.
In goes a clause—
Out: true or false!
But this course proves there is no such way.