その敗戦国は御利用頂くかまたはそれは拷問だ
fact1: 「その敗戦国は住戸であるかまたは裁かないかもしくはどちらもだ」ということは本当だ fact2: もし仮になにかは遠しないとしたら「御利用頂くかまたは拷問であるかもしくは両方ともである」ということは間違っている fact3: その敗戦国が住戸であるかあるいはそれは裁かないとすれば「遠しない」ということは嘘でない
fact2 -> int1: もしその敗戦国は遠しないなら「それは御利用頂くかまたは拷問であるか両方ともである」ということは間違いだ; fact3 & fact1 -> int2: その敗戦国は遠しない; int1 & int2 -> hypothesis;
$facts$ = fact1: 「その敗戦国は住戸であるかまたは裁かないかもしくはどちらもだ」ということは本当だ fact2: もし仮になにかは遠しないとしたら「御利用頂くかまたは拷問であるかもしくは両方ともである」ということは間違っている fact3: その敗戦国が住戸であるかあるいはそれは裁かないとすれば「遠しない」ということは嘘でない ; $hypothesis$ = その敗戦国は御利用頂くかまたはそれは拷問だ ; $proof$ = 
fact2 -> int1: もしその敗戦国は遠しないなら「それは御利用頂くかまたは拷問であるか両方ともである」ということは間違いだ; fact3 & fact1 -> int2: その敗戦国は遠しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「その敗戦国は住戸であるかまたは裁かないかもしくはどちらもだ」ということは本当だ
事実2: もし仮になにかは遠しないとしたら「御利用頂くかまたは拷問であるかもしくは両方ともである」ということは間違っている
事実3: その敗戦国が住戸であるかあるいはそれは裁かないとすれば「遠しない」ということは嘘でない

仮説: その敗戦国は御利用頂くかまたはそれは拷問だ
1. 事実2から、推論1: "もしその敗戦国は遠しないなら「それは御利用頂くかまたは拷問であるか両方ともである」ということは間違いだ"が導かれる
2. 事実3と事実1から、推論2: "その敗戦国は遠しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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