Simple Example


Reasoning With Quotation

   Alice says "chocolate is a food"
   If Alice says something, it is true
   -------------------
   chocolate is a food