「もしもＰＴ境界だということはないとすると密栓する」物はある
fact1: もしもそのアンバンドルが掘り崩さないか親らしくないか両方なら広し fact2: もしあの障害給付金が味気無いということはないかまたは密栓しないかあるいは両方であるとすると掛け難い fact3: 「もしも親らしくないならば「ＰＴ境界だ」ということは成り立つ」物はある fact4: あの障害給付金は鼻歌交じりでない fact5: もし仮に「あるものは用例だ」ということは本当であるとしたら「それは密栓するけどＰＴ境界でない」ということは誤っている fact6: もしもあの障害給付金が親らしいとすればそれは禍々しい fact7: 仮にあの障害給付金がＰＴ境界であるということはないかそれは親らしくないか両方であるならば「それは密栓する」ということは正しい fact8: 「「密栓するししかもＰＴ境界でない」ということは偽である」物があるならあの障害給付金は密栓しない fact9: 仮にあの障害給付金がＰＴ境界だということはないかもしくは減価償却しないかあるいは両方ともであるとすればそれは兼任する fact10: もしも「密栓しない」物はあるとすれば「あの百六十二人は密栓するしさらに親らしい」ということは誤りである fact11: あの予後は結集でないかまたはそれは親らしいかもしくはどちらもだ fact12: あの遍羅は密栓するということはない fact13: 「もし親らしいならばＰＴ境界な」物はある fact14: もし「何らかの物は掻くし中央執行委員会である」ということは成り立たないとするとそれは中央執行委員会であるということはない fact15: あの障害給付金は浅黒くないかもしくはＰＴ境界だ fact16: 「あのスプラインは親らしいということはない」ということは真実である fact17: 「あの障害給付金は新しくない」ということは成り立つ fact18: あの遍羅はＰＴ境界であるか甘ーくない fact19: もしとある物は中央執行委員会でないならば「用例であるし幼し」ということは成り立つ fact20: もしあの障害給付金はＰＴ境界であるとするとそれは兼任する fact21: それは掻くしさらに中央執行委員会だという物はない
void -> assump1: 以下のように仮定する。あの障害給付金はＰＴ境界でない; assump1 -> int1: あの障害給付金はＰＴ境界であるということはないかまたは親らしくないかあるいはどちらもである; int1 & fact7 -> int2: あの障害給付金は密栓する; [assump1] & int2 -> int3: もしもあの障害給付金はＰＴ境界でないとすると密栓する; int3 -> hypothesis;
あの百六十二人は親らしくない
fact22 -> int4: 仮にあの錦糸卵は中央執行委員会でないならば用例でその上幼し; fact27 -> int5: 仮に「この一二番人気は掻くし中央執行委員会である」ということは間違いだとすれば中央執行委員会でない; fact25 -> int6: 「この一二番人気は掻くし加えて中央執行委員会だ」ということは成り立たない; int5 & int6 -> int7: この一二番人気は中央執行委員会でない; int7 -> int8: すべての物は中央執行委員会でない; int8 -> int9: あの錦糸卵は中央執行委員会であるということはない; int4 & int9 -> int10: あの錦糸卵は用例であるしさらにそれは幼し; int10 -> int11: すべての物は用例だしそれに幼し; int11 -> int12: その防風ネットは用例でそれに幼し; int12 -> int13: その防風ネットは用例だ; fact23 -> int14: もし仮に「その防風ネットは用例である」ということは成り立つとすると「密栓するけれどＰＴ境界でない」ということは成り立たない; int13 & int14 -> int15: 「「その防風ネットは密栓するけどＰＴ境界でない」ということは事実だ」ということは間違っている; int15 -> int16: 「「密栓するしＰＴ境界でない」ということは成り立たない」物はある; fact24 & int16 -> int17: あの障害給付金は密栓しない; int17 -> int18: 「密栓しない」ものはある; fact26 & int18 -> int19: 「あの百六十二人は密栓するしかつそれは親らしい」ということは成り立たない;
$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: 以下のように仮定する。あの障害給付金はＰＴ境界でない; assump1 -> int1: あの障害給付金はＰＴ境界であるということはないかまたは親らしくないかあるいはどちらもである; int1 & fact7 -> int2: あの障害給付金は密栓する; [assump1] & int2 -> int3: もしもあの障害給付金はＰＴ境界でないとすると密栓する; int3 -> 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. 仮定1から、推論1: "あの障害給付金はＰＴ境界であるということはないかまたは親らしくないかあるいはどちらもである"が導かれる
3. 推論1と事実7から、推論2: "あの障害給付金は密栓する"が導かれる
4. [仮定1]と推論2から、推論3: "もしもあの障害給付金はＰＴ境界でないとすると密栓する"が導かれる
5. 推論3から、仮説が導かれる

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