The computational intractability of full deductive closure shows we often fail to be rational, not t...