/* Also check out ~/sml/programs/propLogic/god2.dat

  Consider the argument

   If God exists then He is omnipotent and omniscient.
   There is Evil.
   An omniscient Being would know there is  Evil.
   An omnipotent Being who knows there is Evil would prevent Evil.
   -----------------------------------------------------------------
   Therefore God does not exist

   
*/
oscient :- god.
opotent :- god.
evil.
know :- oscient.
prevent :- know, opotent.

/* Goal not(god) turns out to be true even though the relationship between
   the existence of evel and its prevention is not made clear
*/