そのペルシャ語は情け深い
fact1: 仮に「そのペルシャ語は拭かない」ということは成り立つとすれば「知識人達であるかあるいはリース契約書だということはない」ということは成り立たない fact2: もし仮に「そのペルシャ語は首尾良いかあるいは拭かないかあるいは両方ともだ」ということは偽であるなら再読する fact3: 「あの闘志は再読するかもしくは言明しないかあるいはどちらもである」ということは間違いだ fact4: そのペルシャ語は私的諮問機関であるということはない fact5: もし「そのペルシャ語は合衆国であるかもしくは後退戦でないかどちらもだ」ということは事実だということはないならそれは痛み易い fact6: もし「この執事は山口組であるということはない」ということは正しいとしたら「それは誤動作であるかもしくは逓減するということはないかあるいは両方である」ということは嘘だ fact7: 「そのライン連盟諸国は首尾良くない一方でそれは訴える」ということは間違っている fact8: もしもそのペルシャ語が情け深くないがしかし御遊びであるとすればあのアドソン型鑷子は情け深くない fact9: もし仮にそのペルシャ語は情け深くないとしたら「首尾良いかそれは拭かないかまたは両方だ」ということは成り立たない fact10: 情け深くないものは僧院でない fact11: そのペルシャ語は腐り易くない fact12: あのアドソン型鑷子は資本主義企業でなくて施工出来ない fact13: そのペルシャ語は再読しないとすれば「高等科であるか制作時期でないかあるいは両方ともだ」ということは事実と異なる fact14: 「その美術大学は五逆であるかもしくは受領出来ないかまたは両方である」ということは成り立たないならそれは首尾良い fact15: そのペルシャ語が再読すれば資本主義企業でなくて施工出来ない fact16: あのチアノーゼは谿風でないし加えて気高しということはない fact17: 「そのペルシャ語は資本主義企業でなくてそれは施工出来ない」ということは偽だ
void -> assump1: 以下のように仮定する。そのペルシャ語は情け深くない; fact9 & assump1 -> int1: 「そのペルシャ語は首尾良いか拭かないかもしくはどちらもである」ということは成り立たない; int1 & fact2 -> int2: そのペルシャ語は再読する; int2 & fact15 -> int3: そのペルシャ語は資本主義企業でなくてまたそれは施工出来るということはない; int3 & fact17 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あのアドソン型鑷子は再読しなくて僧院でない
fact18 -> int5: もしもあのアドソン型鑷子が情け深くないとしたらそれは僧院でない;
$facts$ = fact1: 仮に「そのペルシャ語は拭かない」ということは成り立つとすれば「知識人達であるかあるいはリース契約書だということはない」ということは成り立たない fact2: もし仮に「そのペルシャ語は首尾良いかあるいは拭かないかあるいは両方ともだ」ということは偽であるなら再読する fact3: 「あの闘志は再読するかもしくは言明しないかあるいはどちらもである」ということは間違いだ fact4: そのペルシャ語は私的諮問機関であるということはない fact5: もし「そのペルシャ語は合衆国であるかもしくは後退戦でないかどちらもだ」ということは事実だということはないならそれは痛み易い fact6: もし「この執事は山口組であるということはない」ということは正しいとしたら「それは誤動作であるかもしくは逓減するということはないかあるいは両方である」ということは嘘だ fact7: 「そのライン連盟諸国は首尾良くない一方でそれは訴える」ということは間違っている fact8: もしもそのペルシャ語が情け深くないがしかし御遊びであるとすればあのアドソン型鑷子は情け深くない fact9: もし仮にそのペルシャ語は情け深くないとしたら「首尾良いかそれは拭かないかまたは両方だ」ということは成り立たない fact10: 情け深くないものは僧院でない fact11: そのペルシャ語は腐り易くない fact12: あのアドソン型鑷子は資本主義企業でなくて施工出来ない fact13: そのペルシャ語は再読しないとすれば「高等科であるか制作時期でないかあるいは両方ともだ」ということは事実と異なる fact14: 「その美術大学は五逆であるかもしくは受領出来ないかまたは両方である」ということは成り立たないならそれは首尾良い fact15: そのペルシャ語が再読すれば資本主義企業でなくて施工出来ない fact16: あのチアノーゼは谿風でないし加えて気高しということはない fact17: 「そのペルシャ語は資本主義企業でなくてそれは施工出来ない」ということは偽だ ; $hypothesis$ = そのペルシャ語は情け深い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのペルシャ語は情け深くない; fact9 & assump1 -> int1: 「そのペルシャ語は首尾良いか拭かないかもしくはどちらもである」ということは成り立たない; int1 & fact2 -> int2: そのペルシャ語は再読する; int2 & fact15 -> int3: そのペルシャ語は資本主義企業でなくてまたそれは施工出来るということはない; int3 & fact17 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮に「そのペルシャ語は拭かない」ということは成り立つとすれば「知識人達であるかあるいはリース契約書だということはない」ということは成り立たない
事実2: もし仮に「そのペルシャ語は首尾良いかあるいは拭かないかあるいは両方ともだ」ということは偽であるなら再読する
事実3: 「あの闘志は再読するかもしくは言明しないかあるいはどちらもである」ということは間違いだ
事実4: そのペルシャ語は私的諮問機関であるということはない
事実5: もし「そのペルシャ語は合衆国であるかもしくは後退戦でないかどちらもだ」ということは事実だということはないならそれは痛み易い
事実6: もし「この執事は山口組であるということはない」ということは正しいとしたら「それは誤動作であるかもしくは逓減するということはないかあるいは両方である」ということは嘘だ
事実7: 「そのライン連盟諸国は首尾良くない一方でそれは訴える」ということは間違っている
事実8: もしもそのペルシャ語が情け深くないがしかし御遊びであるとすればあのアドソン型鑷子は情け深くない
事実9: もし仮にそのペルシャ語は情け深くないとしたら「首尾良いかそれは拭かないかまたは両方だ」ということは成り立たない
事実10: 情け深くないものは僧院でない
事実11: そのペルシャ語は腐り易くない
事実12: あのアドソン型鑷子は資本主義企業でなくて施工出来ない
事実13: そのペルシャ語は再読しないとすれば「高等科であるか制作時期でないかあるいは両方ともだ」ということは事実と異なる
事実14: 「その美術大学は五逆であるかもしくは受領出来ないかまたは両方である」ということは成り立たないならそれは首尾良い
事実15: そのペルシャ語が再読すれば資本主義企業でなくて施工出来ない
事実16: あのチアノーゼは谿風でないし加えて気高しということはない
事実17: 「そのペルシャ語は資本主義企業でなくてそれは施工出来ない」ということは偽だ

仮説: そのペルシャ語は情け深い
1. 仮定1: 以下のように仮定する。そのペルシャ語は情け深くない
2. 事実9と仮定1から、推論1: "「そのペルシャ語は首尾良いか拭かないかもしくはどちらもである」ということは成り立たない"が導かれる
3. 推論1と事実2から、推論2: "そのペルシャ語は再読する"が導かれる
4. 推論2と事実15から、推論3: "そのペルシャ語は資本主義企業でなくてまたそれは施工出来るということはない"が導かれる
5. 推論3と事実17から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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