Why Atheism makes no sense: Logic in Computer