Proposition Bot

Have some fun using basic formal logic! Create propositions and use them to get the bots to dea..