あの検査成績は問わないか理解し辛くないかどちらもである
fact1: もし仮にし難くないものが尖端ならこのアセットレビューは会社・部門である fact2: あの検査成績は起こり難い fact3: もし仮に「なんらかの物は会社・部門であるし頑是無い」ということは誤りであるとするとそれは頑是無くない fact4: 仮になにかは尖端でないかまたはそれは起こり難いか両方ならば頑是無くない fact5: 「誘発し易くない物はし難くないがしかし尖端である」ということは本当である fact6: もし「会社・部門である」物はあるとすれば「あの有意傾向は問うかあるいは理解し辛くないかまたはどちらもだ」ということは間違いである fact7: もしもあの検査成績が頑是無いかあるいはそれは問うとしたら「それは起こり難いということはない」ということは確かである fact8: 何もかもは誘発し易くない fact9: あの有意傾向は尖端でないかあるいは起こり難いかどちらもである
void -> assump1: 以下のように仮定する。あの検査成績は問う; assump1 -> int1: あの検査成績は頑是無いかもしくは問うか両方ともである; int1 & fact7 -> int2: 「あの検査成績は起こり難くない」ということは成り立つ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの検査成績は問わない; int4 -> hypothesis;
この共同プロジェクトは起こり難くないかあるいは招き易くないかあるいは両方である
fact12 -> int5: 「そのワックスは誘発し易くない」ということは本当であるならばそれはし難くないが尖端である; fact13 -> int6: そのワックスは誘発し易くない; int5 & int6 -> int7: そのワックスはし難くない一方でそれは尖端である; int7 -> int8: すべてはし難くないし更に尖端だ; int8 -> int9: そのドラマワンクールはし難いということはないけど尖端である; int9 -> int10: 何らかのものはし難くないけれど尖端だ; int10 & fact10 -> int11: このアセットレビューは会社・部門だ; int11 -> int12: 「会社・部門である」物はある; int12 & fact11 -> int13: 「あの有意傾向は問うかそれは理解し辛くないかどちらもだ」ということは誤っている; int13 -> int14: 「「問うか理解し辛くないかあるいは両方である」ということは嘘である」ものはある;
$facts$ = fact1: もし仮にし難くないものが尖端ならこのアセットレビューは会社・部門である fact2: あの検査成績は起こり難い fact3: もし仮に「なんらかの物は会社・部門であるし頑是無い」ということは誤りであるとするとそれは頑是無くない fact4: 仮になにかは尖端でないかまたはそれは起こり難いか両方ならば頑是無くない fact5: 「誘発し易くない物はし難くないがしかし尖端である」ということは本当である fact6: もし「会社・部門である」物はあるとすれば「あの有意傾向は問うかあるいは理解し辛くないかまたはどちらもだ」ということは間違いである fact7: もしもあの検査成績が頑是無いかあるいはそれは問うとしたら「それは起こり難いということはない」ということは確かである fact8: 何もかもは誘発し易くない fact9: あの有意傾向は尖端でないかあるいは起こり難いかどちらもである ; $hypothesis$ = あの検査成績は問わないか理解し辛くないかどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの検査成績は問う; assump1 -> int1: あの検査成績は頑是無いかもしくは問うか両方ともである; int1 & fact7 -> int2: 「あの検査成績は起こり難くない」ということは成り立つ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの検査成績は問わない; int4 -> hypothesis; __PROVED__
事実1: もし仮にし難くないものが尖端ならこのアセットレビューは会社・部門である
事実2: あの検査成績は起こり難い
事実3: もし仮に「なんらかの物は会社・部門であるし頑是無い」ということは誤りであるとするとそれは頑是無くない
事実4: 仮になにかは尖端でないかまたはそれは起こり難いか両方ならば頑是無くない
事実5: 「誘発し易くない物はし難くないがしかし尖端である」ということは本当である
事実6: もし「会社・部門である」物はあるとすれば「あの有意傾向は問うかあるいは理解し辛くないかまたはどちらもだ」ということは間違いである
事実7: もしもあの検査成績が頑是無いかあるいはそれは問うとしたら「それは起こり難いということはない」ということは確かである
事実8: 何もかもは誘発し易くない
事実9: あの有意傾向は尖端でないかあるいは起こり難いかどちらもである

仮説: あの検査成績は問わないか理解し辛くないかどちらもである
1. 仮定1: 以下のように仮定する。あの検査成績は問う
2. 仮定1から、推論1: "あの検査成績は頑是無いかもしくは問うか両方ともである"が導かれる
3. 推論1と事実7から、推論2: "「あの検査成績は起こり難くない」ということは成り立つ"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの検査成績は問わない"が導かれる
6. 推論4から、仮説が導かれる

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