「あの将官はめんど臭くない」ということは成り立つ
fact1: もし「なにがしかのものは弁償する」ということは事実だとすると子供用だ fact2: 仮に「あの戦時捕虜は漏れ出すかもしくはめんど臭い」ということは間違っているとするとあの将官はめんど臭くない fact3: もし仮になにがしかの物が匿わないならそれは来場しない fact4: 子供用はめんど臭い fact5: もし仮にこの社会批評が厭わしくないけど解釈し直すならばあの将官は弁償する fact6: もしも「あの戦時捕虜は街らしいし嫉妬深い」ということは偽であるとするとこの社会批評は匿わない fact7: 仮になんらかの物が来場しないとするとそれは厭わしくないしまたそれは解釈し直す fact8: もしもなにがしかのものは漏れ出すとしたら「あの戦時捕虜は街らしいし更に嫉妬深い」ということは嘘である fact9: あるものは漏れ出す
fact9 & fact8 -> int1: 「あの戦時捕虜は街らしいし更にそれは嫉妬深い」ということは間違いだ; int1 & fact6 -> int2: この社会批評は匿わない; fact3 -> int3: もしもこの社会批評は匿わないとしたら「それは来場するということはない」ということは間違いでない; int2 & int3 -> int4: この社会批評は来場しない; fact7 -> int5: もし仮にこの社会批評が来場しないとしたら厭わしくないし更に解釈し直す; int4 & int5 -> int6: この社会批評は厭わしくないけれどそれは解釈し直す; int6 & fact5 -> int7: 「あの将官は弁償する」ということは偽でない; fact1 -> int8: もしもあの将官が弁償するとすれば子供用だ; int7 & int8 -> int9: あの将官は子供用である; fact4 -> int10: もしもあの将官は子供用であるとしたらめんど臭い; int9 & int10 -> hypothesis;
あの将官はめんど臭くない
$facts$ = fact1: もし「なにがしかのものは弁償する」ということは事実だとすると子供用だ fact2: 仮に「あの戦時捕虜は漏れ出すかもしくはめんど臭い」ということは間違っているとするとあの将官はめんど臭くない fact3: もし仮になにがしかの物が匿わないならそれは来場しない fact4: 子供用はめんど臭い fact5: もし仮にこの社会批評が厭わしくないけど解釈し直すならばあの将官は弁償する fact6: もしも「あの戦時捕虜は街らしいし嫉妬深い」ということは偽であるとするとこの社会批評は匿わない fact7: 仮になんらかの物が来場しないとするとそれは厭わしくないしまたそれは解釈し直す fact8: もしもなにがしかのものは漏れ出すとしたら「あの戦時捕虜は街らしいし更に嫉妬深い」ということは嘘である fact9: あるものは漏れ出す ; $hypothesis$ = 「あの将官はめんど臭くない」ということは成り立つ ; $proof$ = 
fact9 & fact8 -> int1: 「あの戦時捕虜は街らしいし更にそれは嫉妬深い」ということは間違いだ; int1 & fact6 -> int2: この社会批評は匿わない; fact3 -> int3: もしもこの社会批評は匿わないとしたら「それは来場するということはない」ということは間違いでない; int2 & int3 -> int4: この社会批評は来場しない; fact7 -> int5: もし仮にこの社会批評が来場しないとしたら厭わしくないし更に解釈し直す; int4 & int5 -> int6: この社会批評は厭わしくないけれどそれは解釈し直す; int6 & fact5 -> int7: 「あの将官は弁償する」ということは偽でない; fact1 -> int8: もしもあの将官が弁償するとすれば子供用だ; int7 & int8 -> int9: あの将官は子供用である; fact4 -> int10: もしもあの将官は子供用であるとしたらめんど臭い; int9 & int10 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかのものは弁償する」ということは事実だとすると子供用だ
事実2: 仮に「あの戦時捕虜は漏れ出すかもしくはめんど臭い」ということは間違っているとするとあの将官はめんど臭くない
事実3: もし仮になにがしかの物が匿わないならそれは来場しない
事実4: 子供用はめんど臭い
事実5: もし仮にこの社会批評が厭わしくないけど解釈し直すならばあの将官は弁償する
事実6: もしも「あの戦時捕虜は街らしいし嫉妬深い」ということは偽であるとするとこの社会批評は匿わない
事実7: 仮になんらかの物が来場しないとするとそれは厭わしくないしまたそれは解釈し直す
事実8: もしもなにがしかのものは漏れ出すとしたら「あの戦時捕虜は街らしいし更に嫉妬深い」ということは嘘である
事実9: あるものは漏れ出す

仮説: 「あの将官はめんど臭くない」ということは成り立つ
1. 事実9と事実8から、推論1: "「あの戦時捕虜は街らしいし更にそれは嫉妬深い」ということは間違いだ"が導かれる
2. 推論1と事実6から、推論2: "この社会批評は匿わない"が導かれる
3. 事実3から、推論3: "もしもこの社会批評は匿わないとしたら「それは来場するということはない」ということは間違いでない"が導かれる
4. 推論2と推論3から、推論4: "この社会批評は来場しない"が導かれる
5. 事実7から、推論5: "もし仮にこの社会批評が来場しないとしたら厭わしくないし更に解釈し直す"が導かれる
6. 推論4と推論5から、推論6: "この社会批評は厭わしくないけれどそれは解釈し直す"が導かれる
7. 推論6と事実5から、推論7: "「あの将官は弁償する」ということは偽でない"が導かれる
8. 事実1から、推論8: "もしもあの将官が弁償するとすれば子供用だ"が導かれる
9. 推論7と推論8から、推論9: "あの将官は子供用である"が導かれる
10. 事実4から、推論10: "もしもあの将官は子供用であるとしたらめんど臭い"が導かれる
11. 推論9と推論10から、仮説が否定される

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