If only there was some way to compute entailments from unlikely combination of events :-) But seriously, Gary Marcus and Ernie Davis make a good case in their new book Rebooting AI that logic has to play a role in any real AI.