A IRC bot that does stuff with formal logic expression