あのＭＲＮＡは心優しい
fact1: 仮に「なにがしかのものは待ち遠しくないしおまけにそれは高濃度だということはない」ということは誤っていれば補完関係でない fact2: その全国組織は心優しい fact3: なんらかの物は拵うとすれば「出易くないし更に日割り計算しない」ということは事実と異なる fact4: もし仮になんらかのものが研究開発者なら心優しい fact5: 「あの新造はにんまりするということはなくて加えて高濃度でない」ということは事実と異なる fact6: もし仮に「とある物は可愛いかそれは心優しくないかあるいはどちらもだ」ということは成り立たないとしたら「研究開発者でない」ということは事実である fact7: その全国組織は日割り計算しない fact8: もしその全国組織は補完関係であるということはないとしたらそれは日割り計算する fact9: 仮にあのＭＲＮＡは拵うないとすれば「「その全国組織は待ち遠しくないし更に高濃度だということはない」ということは間違いだ」ということは本当である fact10: もしもあの後発が御寒くないならば創作出来る fact11: もし「あのＭＲＮＡは可愛いかそれは研究開発者だということはない」ということは偽であるとしたらそれは日割り計算しない fact12: もし仮にその全国組織が待ち遠しくないならば薄っぺらい fact13: その全国組織は気色ばむ fact14: その全国組織が待ち遠しいならば拵う fact15: 「あのＭＲＮＡは待ち遠しいけど物憂くない」ということは成り立たない fact16: 「あのＭＲＮＡは心優しいがしかし補完関係でない」ということは成り立たない fact17: その全国組織は拵う fact18: 「あのＭＲＮＡは補完関係でないし拵うない」ということは成り立たないなら日割り計算するということはない fact19: もし何らかのものが拵うとするとそれは研究開発者だ fact20: この青年期は気色ばむとすれば「それは可愛いかもしくはそれは心優しくないかあるいは両方である」ということは事実でない fact21: もし仮にその全国組織は補完関係でないとすると「あのＭＲＮＡは拵うがしかし日割り計算するということはない」ということは誤りである fact22: 「あのセンチネルリンパ節同定は拵うということはない」ということは成り立つ fact23: もしあのＭＲＮＡは拵うなら「参加し易い」ということは成り立つ fact24: その実験モデルは待ち遠しくない
void -> assump1: 以下のように仮定する。あのＭＲＮＡは拵うない; fact9 & assump1 -> int1: 「その全国組織は待ち遠しくないしその上それは高濃度でない」ということは間違いである; fact1 -> int2: もし「その全国組織は待ち遠しくないしおまけにそれは高濃度でない」ということは嘘だとすればそれは補完関係でない; int1 & int2 -> int3: その全国組織は補完関係だということはない; int3 & fact8 -> int4: その全国組織は日割り計算する; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのＭＲＮＡは拵う; fact19 -> int7: もし「あのＭＲＮＡは拵う」ということは事実であるならば研究開発者だ; int6 & int7 -> int8: あのＭＲＮＡは研究開発者だ; fact4 -> int9: もしあのＭＲＮＡは研究開発者であるならばそれは心優しい; int8 & int9 -> hypothesis;
「この青年期は出易くなくてかつそれは日割り計算するということはない」ということは偽だ
fact27 -> int10: 仮にこの青年期は拵うとすれば「出易くなくて日割り計算しない」ということは誤っている; fact26 -> int11: もし「この青年期は可愛いかもしくは心優しくない」ということは誤っていれば研究開発者でない;
$facts$ = fact1: 仮に「なにがしかのものは待ち遠しくないしおまけにそれは高濃度だということはない」ということは誤っていれば補完関係でない fact2: その全国組織は心優しい fact3: なんらかの物は拵うとすれば「出易くないし更に日割り計算しない」ということは事実と異なる fact4: もし仮になんらかのものが研究開発者なら心優しい fact5: 「あの新造はにんまりするということはなくて加えて高濃度でない」ということは事実と異なる fact6: もし仮に「とある物は可愛いかそれは心優しくないかあるいはどちらもだ」ということは成り立たないとしたら「研究開発者でない」ということは事実である fact7: その全国組織は日割り計算しない fact8: もしその全国組織は補完関係であるということはないとしたらそれは日割り計算する fact9: 仮にあのＭＲＮＡは拵うないとすれば「「その全国組織は待ち遠しくないし更に高濃度だということはない」ということは間違いだ」ということは本当である fact10: もしもあの後発が御寒くないならば創作出来る fact11: もし「あのＭＲＮＡは可愛いかそれは研究開発者だということはない」ということは偽であるとしたらそれは日割り計算しない fact12: もし仮にその全国組織が待ち遠しくないならば薄っぺらい fact13: その全国組織は気色ばむ fact14: その全国組織が待ち遠しいならば拵う fact15: 「あのＭＲＮＡは待ち遠しいけど物憂くない」ということは成り立たない fact16: 「あのＭＲＮＡは心優しいがしかし補完関係でない」ということは成り立たない fact17: その全国組織は拵う fact18: 「あのＭＲＮＡは補完関係でないし拵うない」ということは成り立たないなら日割り計算するということはない fact19: もし何らかのものが拵うとするとそれは研究開発者だ fact20: この青年期は気色ばむとすれば「それは可愛いかもしくはそれは心優しくないかあるいは両方である」ということは事実でない fact21: もし仮にその全国組織は補完関係でないとすると「あのＭＲＮＡは拵うがしかし日割り計算するということはない」ということは誤りである fact22: 「あのセンチネルリンパ節同定は拵うということはない」ということは成り立つ fact23: もしあのＭＲＮＡは拵うなら「参加し易い」ということは成り立つ fact24: その実験モデルは待ち遠しくない ; $hypothesis$ = あのＭＲＮＡは心優しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＭＲＮＡは拵うない; fact9 & assump1 -> int1: 「その全国組織は待ち遠しくないしその上それは高濃度でない」ということは間違いである; fact1 -> int2: もし「その全国組織は待ち遠しくないしおまけにそれは高濃度でない」ということは嘘だとすればそれは補完関係でない; int1 & int2 -> int3: その全国組織は補完関係だということはない; int3 & fact8 -> int4: その全国組織は日割り計算する; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのＭＲＮＡは拵う; fact19 -> int7: もし「あのＭＲＮＡは拵う」ということは事実であるならば研究開発者だ; int6 & int7 -> int8: あのＭＲＮＡは研究開発者だ; fact4 -> int9: もしあのＭＲＮＡは研究開発者であるならばそれは心優しい; int8 & int9 -> hypothesis; __PROVED__
事実1: 仮に「なにがしかのものは待ち遠しくないしおまけにそれは高濃度だということはない」ということは誤っていれば補完関係でない
事実2: その全国組織は心優しい
事実3: なんらかの物は拵うとすれば「出易くないし更に日割り計算しない」ということは事実と異なる
事実4: もし仮になんらかのものが研究開発者なら心優しい
事実5: 「あの新造はにんまりするということはなくて加えて高濃度でない」ということは事実と異なる
事実6: もし仮に「とある物は可愛いかそれは心優しくないかあるいはどちらもだ」ということは成り立たないとしたら「研究開発者でない」ということは事実である
事実7: その全国組織は日割り計算しない
事実8: もしその全国組織は補完関係であるということはないとしたらそれは日割り計算する
事実9: 仮にあのＭＲＮＡは拵うないとすれば「「その全国組織は待ち遠しくないし更に高濃度だということはない」ということは間違いだ」ということは本当である
事実10: もしもあの後発が御寒くないならば創作出来る
事実11: もし「あのＭＲＮＡは可愛いかそれは研究開発者だということはない」ということは偽であるとしたらそれは日割り計算しない
事実12: もし仮にその全国組織が待ち遠しくないならば薄っぺらい
事実13: その全国組織は気色ばむ
事実14: その全国組織が待ち遠しいならば拵う
事実15: 「あのＭＲＮＡは待ち遠しいけど物憂くない」ということは成り立たない
事実16: 「あのＭＲＮＡは心優しいがしかし補完関係でない」ということは成り立たない
事実17: その全国組織は拵う
事実18: 「あのＭＲＮＡは補完関係でないし拵うない」ということは成り立たないなら日割り計算するということはない
事実19: もし何らかのものが拵うとするとそれは研究開発者だ
事実20: この青年期は気色ばむとすれば「それは可愛いかもしくはそれは心優しくないかあるいは両方である」ということは事実でない
事実21: もし仮にその全国組織は補完関係でないとすると「あのＭＲＮＡは拵うがしかし日割り計算するということはない」ということは誤りである
事実22: 「あのセンチネルリンパ節同定は拵うということはない」ということは成り立つ
事実23: もしあのＭＲＮＡは拵うなら「参加し易い」ということは成り立つ
事実24: その実験モデルは待ち遠しくない

仮説: あのＭＲＮＡは心優しい
1. 仮定1: 以下のように仮定する。あのＭＲＮＡは拵うない
2. 事実9と仮定1から、推論1: "「その全国組織は待ち遠しくないしその上それは高濃度でない」ということは間違いである"が導かれる
3. 事実1から、推論2: "もし「その全国組織は待ち遠しくないしおまけにそれは高濃度でない」ということは嘘だとすればそれは補完関係でない"が導かれる
4. 推論1と推論2から、推論3: "その全国組織は補完関係だということはない"が導かれる
5. 推論3と事実8から、推論4: "その全国組織は日割り計算する"が導かれる
6. 推論4と事実7から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あのＭＲＮＡは拵う"が導かれる
8. 事実19から、推論7: "もし「あのＭＲＮＡは拵う」ということは事実であるならば研究開発者だ"が導かれる
9. 推論6と推論7から、推論8: "あのＭＲＮＡは研究開発者だ"が導かれる
10. 事実4から、推論9: "もしあのＭＲＮＡは研究開発者であるならばそれは心優しい"が導かれる
11. 推論8と推論9から、仮説が導かれる

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