仮にこのラインナップが活動し易いとしたらその僧伽難提尊者は軟髄膜吻合であるということはなくておまけに翻転しない
fact1: 仮に「その僧伽難提尊者は翻転する」ということは正しいならばあのラインナップは照れ臭くないししかもそれは活動し易くない fact2: もしもその御近所さんが照れ臭くないならばあの僧伽難提尊者は翻転しない fact3: 仮にこのラインナップは活動し易いとすると「待望しなくて受信出来ない」ということは成り立たない fact4: その御近所さんが照れ臭くないとすればその僧伽難提尊者は軟髄膜吻合であるがしかし翻転しない fact5: もし「その僧伽難提尊者は軟髄膜吻合でないしおまけに待望しない」ということは成り立たないならばこのラインナップは翻転しない fact6: もし仮にその御近所さんはロゼッタネットでないとすると「軟髄膜吻合でなくて照れ臭くない」ということは本当でない fact7: その僧伽難提尊者は翻転しない fact8: もしこのラインナップが待望するならその御近所さんは照れ臭くない fact9: 仮にこのラインナップが照れ臭くないとしたらそれは活動し易いしそれは翻転する fact10: あの国家毒性プログラムは詫び状であるなら「惨くなくてその上それは軟髄膜吻合でない」ということは成り立たない fact11: 仮にこのラインナップが軟髄膜吻合ならばその僧伽難提尊者は受信出来なくてその上翻転しない fact12: もしこのラインナップは活動し易いとすれば「それは待望するし受信出来ない」ということは誤りである fact13: その僧伽難提尊者は軟髄膜吻合である一方で翻転しない fact14: このラインナップは熱苦しくなくてそれは肉棹でない fact15: 「「このラインナップは待望しなくて受信出来るということはない」ということは間違いであるとするとその御近所さんは照れ臭くない」ということは事実だ fact16: その御近所さんが照れ臭いということはないとしたらその僧伽難提尊者は軟髄膜吻合でなくて翻転するということはない fact17: このラインナップが活動し易いとすればその僧伽難提尊者は翻転しない fact18: 仮にこのラインナップが活動し易いならその僧伽難提尊者は軟髄膜吻合だがしかし翻転しない fact19: 「このラインナップは待望する一方で受信出来ない」ということは事実と異なる
void -> assump1: 以下のように仮定する。このラインナップは活動し易い; fact3 & assump1 -> int1: 「このラインナップは待望しなくてまた受信出来ない」ということは成り立つということはない; int1 & fact15 -> int2: その御近所さんは照れ臭くない; int2 & fact16 -> int3: その僧伽難提尊者は軟髄膜吻合でなくてしかも翻転しない; [assump1] & int3 -> hypothesis;
このラインナップは翻転する
$facts$ = fact1: 仮に「その僧伽難提尊者は翻転する」ということは正しいならばあのラインナップは照れ臭くないししかもそれは活動し易くない fact2: もしもその御近所さんが照れ臭くないならばあの僧伽難提尊者は翻転しない fact3: 仮にこのラインナップは活動し易いとすると「待望しなくて受信出来ない」ということは成り立たない fact4: その御近所さんが照れ臭くないとすればその僧伽難提尊者は軟髄膜吻合であるがしかし翻転しない fact5: もし「その僧伽難提尊者は軟髄膜吻合でないしおまけに待望しない」ということは成り立たないならばこのラインナップは翻転しない fact6: もし仮にその御近所さんはロゼッタネットでないとすると「軟髄膜吻合でなくて照れ臭くない」ということは本当でない fact7: その僧伽難提尊者は翻転しない fact8: もしこのラインナップが待望するならその御近所さんは照れ臭くない fact9: 仮にこのラインナップが照れ臭くないとしたらそれは活動し易いしそれは翻転する fact10: あの国家毒性プログラムは詫び状であるなら「惨くなくてその上それは軟髄膜吻合でない」ということは成り立たない fact11: 仮にこのラインナップが軟髄膜吻合ならばその僧伽難提尊者は受信出来なくてその上翻転しない fact12: もしこのラインナップは活動し易いとすれば「それは待望するし受信出来ない」ということは誤りである fact13: その僧伽難提尊者は軟髄膜吻合である一方で翻転しない fact14: このラインナップは熱苦しくなくてそれは肉棹でない fact15: 「「このラインナップは待望しなくて受信出来るということはない」ということは間違いであるとするとその御近所さんは照れ臭くない」ということは事実だ fact16: その御近所さんが照れ臭いということはないとしたらその僧伽難提尊者は軟髄膜吻合でなくて翻転するということはない fact17: このラインナップが活動し易いとすればその僧伽難提尊者は翻転しない fact18: 仮にこのラインナップが活動し易いならその僧伽難提尊者は軟髄膜吻合だがしかし翻転しない fact19: 「このラインナップは待望する一方で受信出来ない」ということは事実と異なる ; $hypothesis$ = 仮にこのラインナップが活動し易いとしたらその僧伽難提尊者は軟髄膜吻合であるということはなくておまけに翻転しない ; $proof$ = 
void -> assump1: 以下のように仮定する。このラインナップは活動し易い; fact3 & assump1 -> int1: 「このラインナップは待望しなくてまた受信出来ない」ということは成り立つということはない; int1 & fact15 -> int2: その御近所さんは照れ臭くない; int2 & fact16 -> int3: その僧伽難提尊者は軟髄膜吻合でなくてしかも翻転しない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮に「その僧伽難提尊者は翻転する」ということは正しいならばあのラインナップは照れ臭くないししかもそれは活動し易くない
事実2: もしもその御近所さんが照れ臭くないならばあの僧伽難提尊者は翻転しない
事実3: 仮にこのラインナップは活動し易いとすると「待望しなくて受信出来ない」ということは成り立たない
事実4: その御近所さんが照れ臭くないとすればその僧伽難提尊者は軟髄膜吻合であるがしかし翻転しない
事実5: もし「その僧伽難提尊者は軟髄膜吻合でないしおまけに待望しない」ということは成り立たないならばこのラインナップは翻転しない
事実6: もし仮にその御近所さんはロゼッタネットでないとすると「軟髄膜吻合でなくて照れ臭くない」ということは本当でない
事実7: その僧伽難提尊者は翻転しない
事実8: もしこのラインナップが待望するならその御近所さんは照れ臭くない
事実9: 仮にこのラインナップが照れ臭くないとしたらそれは活動し易いしそれは翻転する
事実10: あの国家毒性プログラムは詫び状であるなら「惨くなくてその上それは軟髄膜吻合でない」ということは成り立たない
事実11: 仮にこのラインナップが軟髄膜吻合ならばその僧伽難提尊者は受信出来なくてその上翻転しない
事実12: もしこのラインナップは活動し易いとすれば「それは待望するし受信出来ない」ということは誤りである
事実13: その僧伽難提尊者は軟髄膜吻合である一方で翻転しない
事実14: このラインナップは熱苦しくなくてそれは肉棹でない
事実15: 「「このラインナップは待望しなくて受信出来るということはない」ということは間違いであるとするとその御近所さんは照れ臭くない」ということは事実だ
事実16: その御近所さんが照れ臭いということはないとしたらその僧伽難提尊者は軟髄膜吻合でなくて翻転するということはない
事実17: このラインナップが活動し易いとすればその僧伽難提尊者は翻転しない
事実18: 仮にこのラインナップが活動し易いならその僧伽難提尊者は軟髄膜吻合だがしかし翻転しない
事実19: 「このラインナップは待望する一方で受信出来ない」ということは事実と異なる

仮説: 仮にこのラインナップが活動し易いとしたらその僧伽難提尊者は軟髄膜吻合であるということはなくておまけに翻転しない
1. 仮定1: 以下のように仮定する。このラインナップは活動し易い
2. 事実3と仮定1から、推論1: "「このラインナップは待望しなくてまた受信出来ない」ということは成り立つということはない"が導かれる
3. 推論1と事実15から、推論2: "その御近所さんは照れ臭くない"が導かれる
4. 推論2と事実16から、推論3: "その僧伽難提尊者は軟髄膜吻合でなくてしかも翻転しない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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