「その蘇州夜曲は固体レーザーである」ということは成り立つ
fact1: 「とある物は無力化しないけれど馬鹿馬鹿しい」ということは偽であるとしたらそれは着膨れるということはない fact2: この広隆寺は無力化しない fact3: もしなにかは無力化しない一方で馬鹿馬鹿しいとするとそれは保湿成分でない fact4: もしもあのチロル帽が保湿成分でないけれどそれがふてぶてしいとすればその蘇州夜曲は固体レーザーである fact5: あの成果評価は馬鹿馬鹿しかない fact6: もしもあのチロル帽がふてぶてしくないならあの雇い人はふてぶてしくない fact7: 仮にあのチロル帽が保湿成分でないならあの雇い人は保湿成分でないけどふてぶてしい fact8: 「あの雇い人は無力化するししかも馬鹿馬鹿しい」ということは成り立たない fact9: あの雇い人は無力化しない fact10: 「ある物は保湿成分であるということはないが着膨れる」ということは成り立たないとしたら「ふてぶてしくない」ということは確かである fact11: 「あのチロル帽は着膨れるしそれは保湿成分である」ということは成り立つということはない fact12: 仮にあの雇い人は無力化するしおまけに馬鹿馬鹿しいとしたら保湿成分でない fact13: あの雇い人は着膨れる fact14: 仮にあの雇い人が無力化するとするとそれは着膨れない fact15: もしもあのチロル帽はふてぶてしいし保湿成分であるならば無力化しない fact16: なにがしかのものは無力化するし馬鹿馬鹿しいとしたら「それは保湿成分でない」ということは確かである fact17: とある物が無力化するならそれは着膨れるということはない fact18: もしもあの雇い人が保湿成分であるということはないとするとあのチロル帽は保湿成分でないがそれはふてぶてしい fact19: あのチロル帽が保湿成分だしまたふてぶてしいならその蘇州夜曲は固体レーザーである
fact1 -> int1: 仮に「あの雇い人は無力化しないけれど馬鹿馬鹿しい」ということは誤っていればそれは着膨れない; void -> assump1: 以下のように仮定する。「あの雇い人は無力化しないが馬鹿馬鹿しい」ということは偽である; int1 & assump1 -> int2: あの雇い人は着膨れない; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの雇い人は無力化しないがそれは馬鹿馬鹿しい; fact3 -> int5: もしもあの雇い人が無力化しないが馬鹿馬鹿しいなら「保湿成分でない」ということは本当だ; int4 & int5 -> int6: あの雇い人は保湿成分でない; int6 & fact18 -> int7: あのチロル帽は保湿成分でないけれどそれはふてぶてしい; int7 & fact4 -> hypothesis;
$facts$ = fact1: 「とある物は無力化しないけれど馬鹿馬鹿しい」ということは偽であるとしたらそれは着膨れるということはない fact2: この広隆寺は無力化しない fact3: もしなにかは無力化しない一方で馬鹿馬鹿しいとするとそれは保湿成分でない fact4: もしもあのチロル帽が保湿成分でないけれどそれがふてぶてしいとすればその蘇州夜曲は固体レーザーである fact5: あの成果評価は馬鹿馬鹿しかない fact6: もしもあのチロル帽がふてぶてしくないならあの雇い人はふてぶてしくない fact7: 仮にあのチロル帽が保湿成分でないならあの雇い人は保湿成分でないけどふてぶてしい fact8: 「あの雇い人は無力化するししかも馬鹿馬鹿しい」ということは成り立たない fact9: あの雇い人は無力化しない fact10: 「ある物は保湿成分であるということはないが着膨れる」ということは成り立たないとしたら「ふてぶてしくない」ということは確かである fact11: 「あのチロル帽は着膨れるしそれは保湿成分である」ということは成り立つということはない fact12: 仮にあの雇い人は無力化するしおまけに馬鹿馬鹿しいとしたら保湿成分でない fact13: あの雇い人は着膨れる fact14: 仮にあの雇い人が無力化するとするとそれは着膨れない fact15: もしもあのチロル帽はふてぶてしいし保湿成分であるならば無力化しない fact16: なにがしかのものは無力化するし馬鹿馬鹿しいとしたら「それは保湿成分でない」ということは確かである fact17: とある物が無力化するならそれは着膨れるということはない fact18: もしもあの雇い人が保湿成分であるということはないとするとあのチロル帽は保湿成分でないがそれはふてぶてしい fact19: あのチロル帽が保湿成分だしまたふてぶてしいならその蘇州夜曲は固体レーザーである ; $hypothesis$ = 「その蘇州夜曲は固体レーザーである」ということは成り立つ ; $proof$ = 
fact1 -> int1: 仮に「あの雇い人は無力化しないけれど馬鹿馬鹿しい」ということは誤っていればそれは着膨れない; void -> assump1: 以下のように仮定する。「あの雇い人は無力化しないが馬鹿馬鹿しい」ということは偽である; int1 & assump1 -> int2: あの雇い人は着膨れない; int2 & fact13 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの雇い人は無力化しないがそれは馬鹿馬鹿しい; fact3 -> int5: もしもあの雇い人が無力化しないが馬鹿馬鹿しいなら「保湿成分でない」ということは本当だ; int4 & int5 -> int6: あの雇い人は保湿成分でない; int6 & fact18 -> int7: あのチロル帽は保湿成分でないけれどそれはふてぶてしい; int7 & fact4 -> hypothesis; __PROVED__
事実1: 「とある物は無力化しないけれど馬鹿馬鹿しい」ということは偽であるとしたらそれは着膨れるということはない
事実2: この広隆寺は無力化しない
事実3: もしなにかは無力化しない一方で馬鹿馬鹿しいとするとそれは保湿成分でない
事実4: もしもあのチロル帽が保湿成分でないけれどそれがふてぶてしいとすればその蘇州夜曲は固体レーザーである
事実5: あの成果評価は馬鹿馬鹿しかない
事実6: もしもあのチロル帽がふてぶてしくないならあの雇い人はふてぶてしくない
事実7: 仮にあのチロル帽が保湿成分でないならあの雇い人は保湿成分でないけどふてぶてしい
事実8: 「あの雇い人は無力化するししかも馬鹿馬鹿しい」ということは成り立たない
事実9: あの雇い人は無力化しない
事実10: 「ある物は保湿成分であるということはないが着膨れる」ということは成り立たないとしたら「ふてぶてしくない」ということは確かである
事実11: 「あのチロル帽は着膨れるしそれは保湿成分である」ということは成り立つということはない
事実12: 仮にあの雇い人は無力化するしおまけに馬鹿馬鹿しいとしたら保湿成分でない
事実13: あの雇い人は着膨れる
事実14: 仮にあの雇い人が無力化するとするとそれは着膨れない
事実15: もしもあのチロル帽はふてぶてしいし保湿成分であるならば無力化しない
事実16: なにがしかのものは無力化するし馬鹿馬鹿しいとしたら「それは保湿成分でない」ということは確かである
事実17: とある物が無力化するならそれは着膨れるということはない
事実18: もしもあの雇い人が保湿成分であるということはないとするとあのチロル帽は保湿成分でないがそれはふてぶてしい
事実19: あのチロル帽が保湿成分だしまたふてぶてしいならその蘇州夜曲は固体レーザーである

仮説: 「その蘇州夜曲は固体レーザーである」ということは成り立つ
1. 事実1から、推論1: "仮に「あの雇い人は無力化しないけれど馬鹿馬鹿しい」ということは誤っていればそれは着膨れない"が導かれる
2. 仮定1: 以下のように仮定する。「あの雇い人は無力化しないが馬鹿馬鹿しい」ということは偽である
3. 推論1と仮定1から、推論2: "あの雇い人は着膨れない"が導かれる
4. 推論2と事実13から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの雇い人は無力化しないがそれは馬鹿馬鹿しい"が導かれる
6. 事実3から、推論5: "もしもあの雇い人が無力化しないが馬鹿馬鹿しいなら「保湿成分でない」ということは本当だ"が導かれる
7. 推論4と推論5から、推論6: "あの雇い人は保湿成分でない"が導かれる
8. 推論6と事実18から、推論7: "あのチロル帽は保湿成分でないけれどそれはふてぶてしい"が導かれる
9. 推論7と事実4から、仮説が導かれる

よって、仮説が証明されました。