この周王朝は作品化する
fact1: もしその臨床的研究が御見送りでないとするとこの週休は御見送りでない一方で赤し fact2: もし仮になにがしかの物が疎ましいとしたらそれは天使らしくないけれど御見送りだ fact3: もしも何かは取っ付き易いとすれば天使らしいということはないが危うい fact4: もしもこの週休は御見送りでないがしかし赤しなら「この周王朝は作品化する」ということは事実だ fact5: あの右舷は疎ましくて加えて食器洗いだ fact6: もし仮に「なにがしかの物は食器洗いでないが天使らしい」ということは成り立たないならそれは危うい fact7: 仮にその臨床的研究が御見送りだとすると取っ付き易い fact8: 仮にその臨床的研究は取っ付き易いならば「それは危うくない」ということは成り立たない fact9: もし仮にその臨床的研究が天使らしくないけどそれが危ういならあの右舷は食器洗いでない fact10: あの右舷は赤しということはないとしたら「それは食器洗いでなくてしかも天使らしい」ということは成り立たない
void -> assump1: 以下のように仮定する。その臨床的研究は御見送りだ; fact7 & assump1 -> int1: 「その臨床的研究は取っ付き易い」ということは事実である; fact3 -> int2: もし仮にその臨床的研究が取っ付き易いならば天使らしくないがしかし危うい; int1 & int2 -> int3: その臨床的研究は天使らしいということはないけれど危うい; int3 & fact9 -> int4: あの右舷は食器洗いだということはない; fact5 -> int5: あの右舷は食器洗いである; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その臨床的研究は御見送りでない; int7 & fact1 -> int8: この週休は御見送りでないけれど赤し; int8 & fact4 -> hypothesis;
この周王朝は作品化しない
fact11 -> int9: もし「あの右舷は食器洗いだということはないけれど天使らしい」ということは偽であるならばそれは危うい;
$facts$ = fact1: もしその臨床的研究が御見送りでないとするとこの週休は御見送りでない一方で赤し fact2: もし仮になにがしかの物が疎ましいとしたらそれは天使らしくないけれど御見送りだ fact3: もしも何かは取っ付き易いとすれば天使らしいということはないが危うい fact4: もしもこの週休は御見送りでないがしかし赤しなら「この周王朝は作品化する」ということは事実だ fact5: あの右舷は疎ましくて加えて食器洗いだ fact6: もし仮に「なにがしかの物は食器洗いでないが天使らしい」ということは成り立たないならそれは危うい fact7: 仮にその臨床的研究が御見送りだとすると取っ付き易い fact8: 仮にその臨床的研究は取っ付き易いならば「それは危うくない」ということは成り立たない fact9: もし仮にその臨床的研究が天使らしくないけどそれが危ういならあの右舷は食器洗いでない fact10: あの右舷は赤しということはないとしたら「それは食器洗いでなくてしかも天使らしい」ということは成り立たない ; $hypothesis$ = この周王朝は作品化する ; $proof$ = 
void -> assump1: 以下のように仮定する。その臨床的研究は御見送りだ; fact7 & assump1 -> int1: 「その臨床的研究は取っ付き易い」ということは事実である; fact3 -> int2: もし仮にその臨床的研究が取っ付き易いならば天使らしくないがしかし危うい; int1 & int2 -> int3: その臨床的研究は天使らしいということはないけれど危うい; int3 & fact9 -> int4: あの右舷は食器洗いだということはない; fact5 -> int5: あの右舷は食器洗いである; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その臨床的研究は御見送りでない; int7 & fact1 -> int8: この週休は御見送りでないけれど赤し; int8 & fact4 -> hypothesis; __PROVED__
事実1: もしその臨床的研究が御見送りでないとするとこの週休は御見送りでない一方で赤し
事実2: もし仮になにがしかの物が疎ましいとしたらそれは天使らしくないけれど御見送りだ
事実3: もしも何かは取っ付き易いとすれば天使らしいということはないが危うい
事実4: もしもこの週休は御見送りでないがしかし赤しなら「この周王朝は作品化する」ということは事実だ
事実5: あの右舷は疎ましくて加えて食器洗いだ
事実6: もし仮に「なにがしかの物は食器洗いでないが天使らしい」ということは成り立たないならそれは危うい
事実7: 仮にその臨床的研究が御見送りだとすると取っ付き易い
事実8: 仮にその臨床的研究は取っ付き易いならば「それは危うくない」ということは成り立たない
事実9: もし仮にその臨床的研究が天使らしくないけどそれが危ういならあの右舷は食器洗いでない
事実10: あの右舷は赤しということはないとしたら「それは食器洗いでなくてしかも天使らしい」ということは成り立たない

仮説: この周王朝は作品化する
1. 仮定1: 以下のように仮定する。その臨床的研究は御見送りだ
2. 事実7と仮定1から、推論1: "「その臨床的研究は取っ付き易い」ということは事実である"が導かれる
3. 事実3から、推論2: "もし仮にその臨床的研究が取っ付き易いならば天使らしくないがしかし危うい"が導かれる
4. 推論1と推論2から、推論3: "その臨床的研究は天使らしいということはないけれど危うい"が導かれる
5. 推論3と事実9から、推論4: "あの右舷は食器洗いだということはない"が導かれる
6. 事実5から、推論5: "あの右舷は食器洗いである"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その臨床的研究は御見送りでない"が導かれる
9. 推論7と事実1から、推論8: "この週休は御見送りでないけれど赤し"が導かれる
10. 推論8と事実4から、仮説が導かれる

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