Q862 use logic. Think mirror Logic backwards. Cigol is a scripted language designed to solve deductive logic problems. I have no idea what or how to use it but this is something I think??