「この迫真は消し合うかもしくはそれは借りれる」ということは成り立つということはない
fact1: もしもなにかは未来情報でないとすれば「このハンドタオルは保湿クリームでないしさらにそれは焦れったくない」ということは成り立たない fact2: 仮にとあるものは未来情報であるならば「それはセットアップしないし腑甲斐無くない」ということは間違いである fact3: この英学教育は消し合わないならば「このハンドタオルは借りれないかあるいは安しということはないかまたはどちらもだ」ということは成り立たない fact4: もしもこの英学教育が未来情報ならばあの主導権争いは腑甲斐無いということはないかまたはそれは女秘書だ fact5: もしその主導権争いは安しないとすると「それは腑甲斐無くないかあるいは女秘書であるかまたは両方ともである」ということは誤っている fact6: その主導権争いは安しない fact7: 「あの主表面間は安しけど検討結果でない」ということは成り立つということはない fact8: 仮に「何かは未来情報でなくて焦れったくない」ということは成り立たないとすると「それは消し合う」ということは成り立つ fact9: 「「借りれない」ということは成り立つ」物はある fact10: 「「この英学教育は痛み易くないかあるいは焦れったいかもしくは両方だ」ということは真実である」ということは事実と異なる fact11: もしも「この英学教育は未来情報でないししかも保湿クリームでない」ということは間違っているとすればそれは腑甲斐無くない fact12: もし仮に「その主導権争いは消し合うということはないかあるいは結核菌感染であるということはないかあるいはどちらもである」ということは成り立たないなら「この英学教育は消し合わない」ということは真実である fact13: 仮に「何かは借りれないかまたはそれは安しということはない」ということは事実と異なるとするとそれは保湿クリームでない fact14: この英学教育は女秘書でない fact15: このハンドタオルは借りれないとすると「この迫真は消し合うかあるいは借りれる」ということは嘘である fact16: もし仮に「このハンドタオルは保湿クリームでなくてかつ焦れったくない」ということは正しくないならば借りれない fact17: もしもこのハンドタオルは焦れったいとすれば「借りれるということはない」ということは成り立つ
void -> assump1: 以下のように仮定する。この英学教育は未来情報である; fact4 & assump1 -> int1: その主導権争いは腑甲斐無くないかあるいは女秘書であるかあるいはどちらもだ; fact6 & fact5 -> int2: 「その主導権争いは腑甲斐無くないかあるいは女秘書であるかもしくは両方ともだ」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この英学教育は未来情報でない」ということは正しい; int4 -> int5: 「未来情報でない」ものはある; int5 & fact1 -> int6: 「このハンドタオルは保湿クリームであるということはないしおまけに焦れったくない」ということは偽である; int6 & fact16 -> int7: このハンドタオルは借りれない; int7 & fact15 -> hypothesis;
「このハンドタオルはセットアップするということはなくてそれは腑甲斐無くない」ということは成り立たない
fact18 -> int8: このハンドタオルは未来情報なら「セットアップしないし腑甲斐無くない」ということは事実と異なる; fact21 -> int9: もし仮に「このハンドタオルは借りれないかあるいは安しないか両方ともだ」ということは嘘だとすれば「それは保湿クリームでない」ということは正しい;
$facts$ = fact1: もしもなにかは未来情報でないとすれば「このハンドタオルは保湿クリームでないしさらにそれは焦れったくない」ということは成り立たない fact2: 仮にとあるものは未来情報であるならば「それはセットアップしないし腑甲斐無くない」ということは間違いである fact3: この英学教育は消し合わないならば「このハンドタオルは借りれないかあるいは安しということはないかまたはどちらもだ」ということは成り立たない fact4: もしもこの英学教育が未来情報ならばあの主導権争いは腑甲斐無いということはないかまたはそれは女秘書だ fact5: もしその主導権争いは安しないとすると「それは腑甲斐無くないかあるいは女秘書であるかまたは両方ともである」ということは誤っている fact6: その主導権争いは安しない fact7: 「あの主表面間は安しけど検討結果でない」ということは成り立つということはない fact8: 仮に「何かは未来情報でなくて焦れったくない」ということは成り立たないとすると「それは消し合う」ということは成り立つ fact9: 「「借りれない」ということは成り立つ」物はある fact10: 「「この英学教育は痛み易くないかあるいは焦れったいかもしくは両方だ」ということは真実である」ということは事実と異なる fact11: もしも「この英学教育は未来情報でないししかも保湿クリームでない」ということは間違っているとすればそれは腑甲斐無くない fact12: もし仮に「その主導権争いは消し合うということはないかあるいは結核菌感染であるということはないかあるいはどちらもである」ということは成り立たないなら「この英学教育は消し合わない」ということは真実である fact13: 仮に「何かは借りれないかまたはそれは安しということはない」ということは事実と異なるとするとそれは保湿クリームでない fact14: この英学教育は女秘書でない fact15: このハンドタオルは借りれないとすると「この迫真は消し合うかあるいは借りれる」ということは嘘である fact16: もし仮に「このハンドタオルは保湿クリームでなくてかつ焦れったくない」ということは正しくないならば借りれない fact17: もしもこのハンドタオルは焦れったいとすれば「借りれるということはない」ということは成り立つ ; $hypothesis$ = 「この迫真は消し合うかもしくはそれは借りれる」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この英学教育は未来情報である; fact4 & assump1 -> int1: その主導権争いは腑甲斐無くないかあるいは女秘書であるかあるいはどちらもだ; fact6 & fact5 -> int2: 「その主導権争いは腑甲斐無くないかあるいは女秘書であるかもしくは両方ともだ」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この英学教育は未来情報でない」ということは正しい; int4 -> int5: 「未来情報でない」ものはある; int5 & fact1 -> int6: 「このハンドタオルは保湿クリームであるということはないしおまけに焦れったくない」ということは偽である; int6 & fact16 -> int7: このハンドタオルは借りれない; int7 & fact15 -> hypothesis; __PROVED__
事実1: もしもなにかは未来情報でないとすれば「このハンドタオルは保湿クリームでないしさらにそれは焦れったくない」ということは成り立たない
事実2: 仮にとあるものは未来情報であるならば「それはセットアップしないし腑甲斐無くない」ということは間違いである
事実3: この英学教育は消し合わないならば「このハンドタオルは借りれないかあるいは安しということはないかまたはどちらもだ」ということは成り立たない
事実4: もしもこの英学教育が未来情報ならばあの主導権争いは腑甲斐無いということはないかまたはそれは女秘書だ
事実5: もしその主導権争いは安しないとすると「それは腑甲斐無くないかあるいは女秘書であるかまたは両方ともである」ということは誤っている
事実6: その主導権争いは安しない
事実7: 「あの主表面間は安しけど検討結果でない」ということは成り立つということはない
事実8: 仮に「何かは未来情報でなくて焦れったくない」ということは成り立たないとすると「それは消し合う」ということは成り立つ
事実9: 「「借りれない」ということは成り立つ」物はある
事実10: 「「この英学教育は痛み易くないかあるいは焦れったいかもしくは両方だ」ということは真実である」ということは事実と異なる
事実11: もしも「この英学教育は未来情報でないししかも保湿クリームでない」ということは間違っているとすればそれは腑甲斐無くない
事実12: もし仮に「その主導権争いは消し合うということはないかあるいは結核菌感染であるということはないかあるいはどちらもである」ということは成り立たないなら「この英学教育は消し合わない」ということは真実である
事実13: 仮に「何かは借りれないかまたはそれは安しということはない」ということは事実と異なるとするとそれは保湿クリームでない
事実14: この英学教育は女秘書でない
事実15: このハンドタオルは借りれないとすると「この迫真は消し合うかあるいは借りれる」ということは嘘である
事実16: もし仮に「このハンドタオルは保湿クリームでなくてかつ焦れったくない」ということは正しくないならば借りれない
事実17: もしもこのハンドタオルは焦れったいとすれば「借りれるということはない」ということは成り立つ

仮説: 「この迫真は消し合うかもしくはそれは借りれる」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この英学教育は未来情報である
2. 事実4と仮定1から、推論1: "その主導権争いは腑甲斐無くないかあるいは女秘書であるかあるいはどちらもだ"が導かれる
3. 事実6と事実5から、推論2: "「その主導権争いは腑甲斐無くないかあるいは女秘書であるかもしくは両方ともだ」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この英学教育は未来情報でない」ということは正しい"が導かれる
6. 推論4から、推論5: "「未来情報でない」ものはある"が導かれる
7. 推論5と事実1から、推論6: "「このハンドタオルは保湿クリームであるということはないしおまけに焦れったくない」ということは偽である"が導かれる
8. 推論6と事実16から、推論7: "このハンドタオルは借りれない"が導かれる
9. 推論7と事実15から、仮説が導かれる

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