その氏名・住所は止め為さらない
fact1: 仮にその十四世紀は点灯しないとすると「その氏名・住所は勇ましくらないけれど止め為さる」ということは誤りである fact2: もし仮に何らかのものが点灯しないかもしくは人間らしいということはないか両方だとしたら「それは点灯しない」ということは確かである fact3: もし仮にその十四世紀が人間らしくないかもしくはそれは当法廷でないかもしくはどちらもであるとすると人間らしくない fact4: もしも「点灯する」ものがあるとすればあの氏名・住所は勇ましい fact5: その十四世紀が勇ましいということはないならその氏名・住所は点灯するしそれにそれは気後れする fact6: とある物が勇ましいとしたら止め為さる fact7: 「点灯する」ものはある
fact7 & fact4 -> int1: その氏名・住所は勇ましい; fact6 -> int2: もしその氏名・住所が勇ましいとしたら止め為さる; int1 & int2 -> hypothesis;
fact7 & fact4 -> int1: {B}{a}; fact6 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
「その氏名・住所は止め為さらない」ということは真実である
fact10 -> int3: もしもその十四世紀が点灯しないかまたは人間らしくないならば点灯しない;
$facts$ = fact1: 仮にその十四世紀は点灯しないとすると「その氏名・住所は勇ましくらないけれど止め為さる」ということは誤りである fact2: もし仮に何らかのものが点灯しないかもしくは人間らしいということはないか両方だとしたら「それは点灯しない」ということは確かである fact3: もし仮にその十四世紀が人間らしくないかもしくはそれは当法廷でないかもしくはどちらもであるとすると人間らしくない fact4: もしも「点灯する」ものがあるとすればあの氏名・住所は勇ましい fact5: その十四世紀が勇ましいということはないならその氏名・住所は点灯するしそれにそれは気後れする fact6: とある物が勇ましいとしたら止め為さる fact7: 「点灯する」ものはある ; $hypothesis$ = その氏名・住所は止め為さらない ; $proof$ = 
fact7 & fact4 -> int1: その氏名・住所は勇ましい; fact6 -> int2: もしその氏名・住所が勇ましいとしたら止め為さる; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にその十四世紀は点灯しないとすると「その氏名・住所は勇ましくらないけれど止め為さる」ということは誤りである
事実2: もし仮に何らかのものが点灯しないかもしくは人間らしいということはないか両方だとしたら「それは点灯しない」ということは確かである
事実3: もし仮にその十四世紀が人間らしくないかもしくはそれは当法廷でないかもしくはどちらもであるとすると人間らしくない
事実4: もしも「点灯する」ものがあるとすればあの氏名・住所は勇ましい
事実5: その十四世紀が勇ましいということはないならその氏名・住所は点灯するしそれにそれは気後れする
事実6: とある物が勇ましいとしたら止め為さる
事実7: 「点灯する」ものはある

仮説: その氏名・住所は止め為さらない
1. 事実7と事実4から、推論1: "その氏名・住所は勇ましい"が導かれる
2. 事実6から、推論2: "もしその氏名・住所が勇ましいとしたら止め為さる"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。