!7

standardBot1 DiscordToPhilosophyBot {
  transient S theory = [[
    import math
    
    theory (a human weighs between 80 and 400 pounds) {
      $x is a human
        & $x weighs $y pounds
        => $y >= 80 & $y <= 400
    }
    
    $x says (i weigh $y pounds)
      => $x weighs $y pounds
    
    $x says (my weight is $y pounds)
      => $x weighs $y pounds
  ]];
  
  sync S processSimplifiedLine(S s, O... _) {
    try answer super.processSimplifiedLine(s, _);
    
    optPar long userID;
    optPar bool fromBot;
    print(userID + " (" + (fromBot ? "bot" : "human") + "): " + s);
    
    S user = "(user " + userID + ")";
    PhilosophyBot1 bot = new(theory);
    bot.debugContradictionChecks = true;
    bot.standardImports();
    bot.autoOpenTheories();
    bot.addFact(user + " is a " + (fromBot ? "bot" : "human"));
    bot.addFact(user + " says (" + s + ")");
    bot.run();
    
    null;
  }
}