その通夜は建築資金だということはない
fact1: その高グルコース刺激は崩し易い fact2: 仮に「「崩し易くない一方で建築資金である」ということは成り立たない」物があるとしたらその高グルコース刺激は建築資金であるということはない fact3: もし仮にあの自分宛てが所以でないとしたらあの胆石はメルだししかもせっせっせである fact4: この夕顔が抜剣するとすれば追い返すということはないし更に調節し易いということはない fact5: この夕顔は抜剣する fact6: もしもこの夕顔が追い返すということはないならそれは国立博物館でなくてかつ臀筋でない fact7: 仮に何かは羅列しないか所以でないかあるいは両方ともだとすれば所以でない fact8: もしもその高グルコース刺激が看護婦さんでないしそれに降伏すらないとするとその通夜は建築資金でない fact9: 何かはメルであるとすれば「その通夜は崩し易くないけれど建築資金だ」ということは成り立たない fact10: 仮に「何らかのものは看護婦さんだということはないしそれに降伏すらない」ということは間違いだとしたらそれは崩し易くない fact11: もしもこの夕顔が国立博物館でないとすればあの自分宛ては羅列しないかまたは所以でない
fact10 -> int1: もしも「その高グルコース刺激は看護婦さんでないしそれは降伏すらない」ということは事実と異なるとしたらそれは崩し易くない; void -> assump1: 以下のように仮定する。「その高グルコース刺激は看護婦さんでなくてそれは降伏すらない」ということは偽だ; int1 & assump1 -> int2: 「その高グルコース刺激は崩し易くない」ということは成り立つ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: その高グルコース刺激は看護婦さんでないし加えて降伏すらない; int4 & fact8 -> hypothesis;
その高グルコース刺激は建築資金でない
fact13 -> int5: もし仮にあの自分宛てが羅列しないか所以でないかあるいは両方であるならば所以でない; fact15 & fact12 -> int6: この夕顔は追い返さなくて調節し易いということはない; int6 -> int7: この夕顔は追い返さない; fact18 & int7 -> int8: 「この夕顔は国立博物館でないし臀筋でない」ということは本当である; int8 -> int9: この夕顔は国立博物館でない; fact19 & int9 -> int10: あの自分宛ては羅列しないかあるいは所以であるということはないかあるいはどちらもである; int5 & int10 -> int11: 「あの自分宛ては所以でない」ということは真実である; fact17 & int11 -> int12: あの胆石はメルだしその上せっせっせだ; int12 -> int13: あの胆石はメルだ; int13 -> int14: 「メルである」物はある; int14 & fact16 -> int15: 「その通夜は崩し易くないが建築資金である」ということは事実と異なる; int15 -> int16: 「「崩し易くないししかも建築資金である」ということは成り立たない」ものはある; int16 & fact14 -> hypothesis;
$facts$ = fact1: その高グルコース刺激は崩し易い fact2: 仮に「「崩し易くない一方で建築資金である」ということは成り立たない」物があるとしたらその高グルコース刺激は建築資金であるということはない fact3: もし仮にあの自分宛てが所以でないとしたらあの胆石はメルだししかもせっせっせである fact4: この夕顔が抜剣するとすれば追い返すということはないし更に調節し易いということはない fact5: この夕顔は抜剣する fact6: もしもこの夕顔が追い返すということはないならそれは国立博物館でなくてかつ臀筋でない fact7: 仮に何かは羅列しないか所以でないかあるいは両方ともだとすれば所以でない fact8: もしもその高グルコース刺激が看護婦さんでないしそれに降伏すらないとするとその通夜は建築資金でない fact9: 何かはメルであるとすれば「その通夜は崩し易くないけれど建築資金だ」ということは成り立たない fact10: 仮に「何らかのものは看護婦さんだということはないしそれに降伏すらない」ということは間違いだとしたらそれは崩し易くない fact11: もしもこの夕顔が国立博物館でないとすればあの自分宛ては羅列しないかまたは所以でない ; $hypothesis$ = その通夜は建築資金だということはない ; $proof$ = 
fact10 -> int1: もしも「その高グルコース刺激は看護婦さんでないしそれは降伏すらない」ということは事実と異なるとしたらそれは崩し易くない; void -> assump1: 以下のように仮定する。「その高グルコース刺激は看護婦さんでなくてそれは降伏すらない」ということは偽だ; int1 & assump1 -> int2: 「その高グルコース刺激は崩し易くない」ということは成り立つ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: その高グルコース刺激は看護婦さんでないし加えて降伏すらない; int4 & fact8 -> hypothesis; __PROVED__
事実1: その高グルコース刺激は崩し易い
事実2: 仮に「「崩し易くない一方で建築資金である」ということは成り立たない」物があるとしたらその高グルコース刺激は建築資金であるということはない
事実3: もし仮にあの自分宛てが所以でないとしたらあの胆石はメルだししかもせっせっせである
事実4: この夕顔が抜剣するとすれば追い返すということはないし更に調節し易いということはない
事実5: この夕顔は抜剣する
事実6: もしもこの夕顔が追い返すということはないならそれは国立博物館でなくてかつ臀筋でない
事実7: 仮に何かは羅列しないか所以でないかあるいは両方ともだとすれば所以でない
事実8: もしもその高グルコース刺激が看護婦さんでないしそれに降伏すらないとするとその通夜は建築資金でない
事実9: 何かはメルであるとすれば「その通夜は崩し易くないけれど建築資金だ」ということは成り立たない
事実10: 仮に「何らかのものは看護婦さんだということはないしそれに降伏すらない」ということは間違いだとしたらそれは崩し易くない
事実11: もしもこの夕顔が国立博物館でないとすればあの自分宛ては羅列しないかまたは所以でない

仮説: その通夜は建築資金だということはない
1. 事実10から、推論1: "もしも「その高グルコース刺激は看護婦さんでないしそれは降伏すらない」ということは事実と異なるとしたらそれは崩し易くない"が導かれる
2. 仮定1: 以下のように仮定する。「その高グルコース刺激は看護婦さんでなくてそれは降伏すらない」ということは偽だ
3. 推論1と仮定1から、推論2: "「その高グルコース刺激は崩し易くない」ということは成り立つ"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その高グルコース刺激は看護婦さんでないし加えて降伏すらない"が導かれる
6. 推論4と事実8から、仮説が導かれる

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