その義歯作りはしぶとくない
fact1: 「あの判決文は地域計画でないか骨髄腫であるかもしくは両方ともだ」ということは事実と異なるならその内喉頭筋は判例タイムズだということはない fact2: 仮になんらかの物が判例タイムズでないとすればそれは基本問題だしまたもどし汁だ fact3: もしその内喉頭筋は三日以後であるならしぶとい fact4: 「とあるものはもどし汁だが遅過ぎない」ということは間違っているとすれば「しぶとくない」ということは成り立つ fact5: その内喉頭筋は地域計画でない fact6: 「その内喉頭筋は地域計画であるしまた判例タイムズだ」ということは偽だ fact7: 仮に「あの判決文は地域計画でないか遅過ぎるか両方ともである」ということは間違っているならばあの義歯作りはもどし汁でない fact8: もし仮に「その義歯作りは骨髄腫だが遅過ぎない」ということは成り立つということはないとしたらそれはしぶとくない fact9: 「もしも「「あの判決文はもどし汁だがしかししぶといということはない」ということは成り立つということはない」ということは真実であるとしたらあの判決文は骨髄腫でない」ということは正しい fact10: もしあの判決文はもどし汁でないなら「その義歯作りはもどし汁だけれどそれは遅過ぎない」ということは成り立たない fact11: もしも「何らかの物は悲しけど近寄り難いということはない」ということは成り立たないとすればそれは定年退職しない fact12: その内喉頭筋は三日以後である fact13: 仮に何らかの物は基本問題であるとすると「その義歯作りが生理活性ペプチドだけどそれは基本問題でない」ということは成り立たない fact14: 仮にその義歯作りは遅過ぎるなら「「それはしぶとい」ということは事実である」ということは確かでない fact15: もし仮にあの判決文がもどし汁だとすれば地域計画である fact16: もしも何らかの物が判例タイムズでないとすればそれはもどし汁であるししぶとい fact17: もしも何らかのものは遅過ぎればそれはしぶとくない fact18: 「その義歯作りはもどし汁であるしそれにそれは遅過ぎる」ということは成り立たない fact19: 仮にその義歯作りが遅過ぎるとしたらそれは地域計画である fact20: もし仮にあの判決文はもどし汁であるなら「「地域計画だということはないかまたはそれは骨髄腫であるかまたは両方ともだ」ということは確かである」ということは誤っている fact21: その内喉頭筋は判例タイムズだ
void -> assump1: 以下のように仮定する。あの判決文はもどし汁である; fact20 & assump1 -> int1: 「あの判決文は地域計画でないかそれは骨髄腫だ」ということは偽である; int1 & fact1 -> int2: 「その内喉頭筋は判例タイムズでない」ということは偽でない; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの判決文はもどし汁でない; int4 & fact10 -> int5: 「その義歯作りはもどし汁である一方でそれは遅過ぎない」ということは事実と異なる; fact4 -> int6: 仮に「その義歯作りはもどし汁である一方で遅過ぎるということはない」ということは本当でないとしたらしぶといということはない; int5 & int6 -> hypothesis;
「その義歯作りは生理活性ペプチドである一方で基本問題でない」ということは間違っている
fact25 -> int7: もし仮にあの判決文が判例タイムズでないとするとそれが基本問題だしそれはもどし汁だ; fact23 & fact24 -> int8: その内喉頭筋はしぶとい; int8 -> int9: その内喉頭筋は遅過ぎるかまたはしぶとい; int9 -> int10: 「なにがしかの物は遅過ぎるかそれはしぶといかまたは両方ともだ」ということは成り立つ;
$facts$ = fact1: 「あの判決文は地域計画でないか骨髄腫であるかもしくは両方ともだ」ということは事実と異なるならその内喉頭筋は判例タイムズだということはない fact2: 仮になんらかの物が判例タイムズでないとすればそれは基本問題だしまたもどし汁だ fact3: もしその内喉頭筋は三日以後であるならしぶとい fact4: 「とあるものはもどし汁だが遅過ぎない」ということは間違っているとすれば「しぶとくない」ということは成り立つ fact5: その内喉頭筋は地域計画でない fact6: 「その内喉頭筋は地域計画であるしまた判例タイムズだ」ということは偽だ fact7: 仮に「あの判決文は地域計画でないか遅過ぎるか両方ともである」ということは間違っているならばあの義歯作りはもどし汁でない fact8: もし仮に「その義歯作りは骨髄腫だが遅過ぎない」ということは成り立つということはないとしたらそれはしぶとくない fact9: 「もしも「「あの判決文はもどし汁だがしかししぶといということはない」ということは成り立つということはない」ということは真実であるとしたらあの判決文は骨髄腫でない」ということは正しい fact10: もしあの判決文はもどし汁でないなら「その義歯作りはもどし汁だけれどそれは遅過ぎない」ということは成り立たない fact11: もしも「何らかの物は悲しけど近寄り難いということはない」ということは成り立たないとすればそれは定年退職しない fact12: その内喉頭筋は三日以後である fact13: 仮に何らかの物は基本問題であるとすると「その義歯作りが生理活性ペプチドだけどそれは基本問題でない」ということは成り立たない fact14: 仮にその義歯作りは遅過ぎるなら「「それはしぶとい」ということは事実である」ということは確かでない fact15: もし仮にあの判決文がもどし汁だとすれば地域計画である fact16: もしも何らかの物が判例タイムズでないとすればそれはもどし汁であるししぶとい fact17: もしも何らかのものは遅過ぎればそれはしぶとくない fact18: 「その義歯作りはもどし汁であるしそれにそれは遅過ぎる」ということは成り立たない fact19: 仮にその義歯作りが遅過ぎるとしたらそれは地域計画である fact20: もし仮にあの判決文はもどし汁であるなら「「地域計画だということはないかまたはそれは骨髄腫であるかまたは両方ともだ」ということは確かである」ということは誤っている fact21: その内喉頭筋は判例タイムズだ ; $hypothesis$ = その義歯作りはしぶとくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの判決文はもどし汁である; fact20 & assump1 -> int1: 「あの判決文は地域計画でないかそれは骨髄腫だ」ということは偽である; int1 & fact1 -> int2: 「その内喉頭筋は判例タイムズでない」ということは偽でない; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの判決文はもどし汁でない; int4 & fact10 -> int5: 「その義歯作りはもどし汁である一方でそれは遅過ぎない」ということは事実と異なる; fact4 -> int6: 仮に「その義歯作りはもどし汁である一方で遅過ぎるということはない」ということは本当でないとしたらしぶといということはない; int5 & int6 -> hypothesis; __PROVED__
事実1: 「あの判決文は地域計画でないか骨髄腫であるかもしくは両方ともだ」ということは事実と異なるならその内喉頭筋は判例タイムズだということはない
事実2: 仮になんらかの物が判例タイムズでないとすればそれは基本問題だしまたもどし汁だ
事実3: もしその内喉頭筋は三日以後であるならしぶとい
事実4: 「とあるものはもどし汁だが遅過ぎない」ということは間違っているとすれば「しぶとくない」ということは成り立つ
事実5: その内喉頭筋は地域計画でない
事実6: 「その内喉頭筋は地域計画であるしまた判例タイムズだ」ということは偽だ
事実7: 仮に「あの判決文は地域計画でないか遅過ぎるか両方ともである」ということは間違っているならばあの義歯作りはもどし汁でない
事実8: もし仮に「その義歯作りは骨髄腫だが遅過ぎない」ということは成り立つということはないとしたらそれはしぶとくない
事実9: 「もしも「「あの判決文はもどし汁だがしかししぶといということはない」ということは成り立つということはない」ということは真実であるとしたらあの判決文は骨髄腫でない」ということは正しい
事実10: もしあの判決文はもどし汁でないなら「その義歯作りはもどし汁だけれどそれは遅過ぎない」ということは成り立たない
事実11: もしも「何らかの物は悲しけど近寄り難いということはない」ということは成り立たないとすればそれは定年退職しない
事実12: その内喉頭筋は三日以後である
事実13: 仮に何らかの物は基本問題であるとすると「その義歯作りが生理活性ペプチドだけどそれは基本問題でない」ということは成り立たない
事実14: 仮にその義歯作りは遅過ぎるなら「「それはしぶとい」ということは事実である」ということは確かでない
事実15: もし仮にあの判決文がもどし汁だとすれば地域計画である
事実16: もしも何らかの物が判例タイムズでないとすればそれはもどし汁であるししぶとい
事実17: もしも何らかのものは遅過ぎればそれはしぶとくない
事実18: 「その義歯作りはもどし汁であるしそれにそれは遅過ぎる」ということは成り立たない
事実19: 仮にその義歯作りが遅過ぎるとしたらそれは地域計画である
事実20: もし仮にあの判決文はもどし汁であるなら「「地域計画だということはないかまたはそれは骨髄腫であるかまたは両方ともだ」ということは確かである」ということは誤っている
事実21: その内喉頭筋は判例タイムズだ

仮説: その義歯作りはしぶとくない
1. 仮定1: 以下のように仮定する。あの判決文はもどし汁である
2. 事実20と仮定1から、推論1: "「あの判決文は地域計画でないかそれは骨髄腫だ」ということは偽である"が導かれる
3. 推論1と事実1から、推論2: "「その内喉頭筋は判例タイムズでない」ということは偽でない"が導かれる
4. 推論2と事実21から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの判決文はもどし汁でない"が導かれる
6. 推論4と事実10から、推論5: "「その義歯作りはもどし汁である一方でそれは遅過ぎない」ということは事実と異なる"が導かれる
7. 事実4から、推論6: "仮に「その義歯作りはもどし汁である一方で遅過ぎるということはない」ということは本当でないとしたらしぶといということはない"が導かれる
8. 推論5と推論6から、仮説が導かれる

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