仮に「この打ち傷は取っ付き易い」ということは真実であるとすると裏見でない
fact1: なんらかの物は小賢しくないとしたら「七十五パーセント以上でないがしかし裏見である」ということは誤っている fact2: もしあの切断面が入り易いけれどそれが進撃しないとすればそれは小賢しくない fact3: もし仮にこの打ち傷は革新するし取っ付き易いとしたら「裏見でない」ということは誤りだということはない fact4: この打ち傷は革新する fact5: 「仮にある物は想定し難くないなら「取っ付き易くてかつ気候悪化期であるということはない」ということは成り立たない」ということは成り立つ fact6: 仮にあの切断面が倹しかないとすれば入り易いがしかし進撃しない fact7: あの者が確かめ合わないとするとこの打ち傷は想定し難いということはない fact8: あの切断面は倹しかない fact9: その経口避妊薬は届き易い fact10: この好き放題は革新する fact11: この丸椅子は取っ付き易くない fact12: 仮に「何かは文照応形であるということはないがしかし慎ましい」ということは事実と異なるならそれは確かめ合うということはない fact13: 仮にあの者は輸出加工区だということはないならば「それは文照応形でないしさらに慎ましい」ということは偽である fact14: もしこの打ち傷は革新するし取っ付き易いとすればそれは裏見だ fact15: もしもその経口避妊薬が届き易いとすればあの者は輸出加工区でない fact16: もしも「とある物は七十五パーセント以上でない一方で裏見である」ということは成り立たないとすると革新する
void -> assump1: 以下のように仮定する。この打ち傷は取っ付き易い; fact4 & assump1 -> int1: この打ち傷が革新するしその上それは取っ付き易い; int1 & fact3 -> int2: 「この打ち傷は裏見でない」ということは正しい; [assump1] & int2 -> hypothesis;
あの切断面は革新するし気候悪化期だ
fact20 -> int3: もし「あの切断面は七十五パーセント以上でない一方で裏見である」ということは偽であるとすればそれは革新する; fact25 -> int4: もしもあの切断面は小賢しくないとすれば「それは七十五パーセント以上でなくてしかも裏見である」ということは誤りである; fact24 & fact22 -> int5: あの切断面は入り易いが進撃しない; fact26 & int5 -> int6: あの切断面は小賢しくない; int4 & int6 -> int7: 「あの切断面は七十五パーセント以上でない一方で裏見だ」ということは誤りだ; int3 & int7 -> int8: あの切断面は革新する; fact27 -> int9: この打ち傷は想定し難いということはないとすれば「取っ付き易い一方で気候悪化期でない」ということは成り立たない; fact21 -> int10: 仮に「あの者は文照応形でないがしかし慎ましい」ということは成り立たないなら確かめ合わない; fact18 & fact17 -> int11: あの者は輸出加工区でない; fact19 & int11 -> int12: 「あの者は文照応形でないけど慎ましい」ということは誤りである; int10 & int12 -> int13: あの者は確かめ合わない; fact23 & int13 -> int14: この打ち傷は想定し難くない; int9 & int14 -> int15: 「この打ち傷は取っ付き易いがしかしそれは気候悪化期でない」ということは誤りだ; int15 -> int16: 「「取っ付き易くてそれに気候悪化期でない」ということは成り立たない」ものはある;
$facts$ = fact1: なんらかの物は小賢しくないとしたら「七十五パーセント以上でないがしかし裏見である」ということは誤っている fact2: もしあの切断面が入り易いけれどそれが進撃しないとすればそれは小賢しくない fact3: もし仮にこの打ち傷は革新するし取っ付き易いとしたら「裏見でない」ということは誤りだということはない fact4: この打ち傷は革新する fact5: 「仮にある物は想定し難くないなら「取っ付き易くてかつ気候悪化期であるということはない」ということは成り立たない」ということは成り立つ fact6: 仮にあの切断面が倹しかないとすれば入り易いがしかし進撃しない fact7: あの者が確かめ合わないとするとこの打ち傷は想定し難いということはない fact8: あの切断面は倹しかない fact9: その経口避妊薬は届き易い fact10: この好き放題は革新する fact11: この丸椅子は取っ付き易くない fact12: 仮に「何かは文照応形であるということはないがしかし慎ましい」ということは事実と異なるならそれは確かめ合うということはない fact13: 仮にあの者は輸出加工区だということはないならば「それは文照応形でないしさらに慎ましい」ということは偽である fact14: もしこの打ち傷は革新するし取っ付き易いとすればそれは裏見だ fact15: もしもその経口避妊薬が届き易いとすればあの者は輸出加工区でない fact16: もしも「とある物は七十五パーセント以上でない一方で裏見である」ということは成り立たないとすると革新する ; $hypothesis$ = 仮に「この打ち傷は取っ付き易い」ということは真実であるとすると裏見でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この打ち傷は取っ付き易い; fact4 & assump1 -> int1: この打ち傷が革新するしその上それは取っ付き易い; int1 & fact3 -> int2: 「この打ち傷は裏見でない」ということは正しい; [assump1] & int2 -> hypothesis; __PROVED__
事実1: なんらかの物は小賢しくないとしたら「七十五パーセント以上でないがしかし裏見である」ということは誤っている
事実2: もしあの切断面が入り易いけれどそれが進撃しないとすればそれは小賢しくない
事実3: もし仮にこの打ち傷は革新するし取っ付き易いとしたら「裏見でない」ということは誤りだということはない
事実4: この打ち傷は革新する
事実5: 「仮にある物は想定し難くないなら「取っ付き易くてかつ気候悪化期であるということはない」ということは成り立たない」ということは成り立つ
事実6: 仮にあの切断面が倹しかないとすれば入り易いがしかし進撃しない
事実7: あの者が確かめ合わないとするとこの打ち傷は想定し難いということはない
事実8: あの切断面は倹しかない
事実9: その経口避妊薬は届き易い
事実10: この好き放題は革新する
事実11: この丸椅子は取っ付き易くない
事実12: 仮に「何かは文照応形であるということはないがしかし慎ましい」ということは事実と異なるならそれは確かめ合うということはない
事実13: 仮にあの者は輸出加工区だということはないならば「それは文照応形でないしさらに慎ましい」ということは偽である
事実14: もしこの打ち傷は革新するし取っ付き易いとすればそれは裏見だ
事実15: もしもその経口避妊薬が届き易いとすればあの者は輸出加工区でない
事実16: もしも「とある物は七十五パーセント以上でない一方で裏見である」ということは成り立たないとすると革新する

仮説: 仮に「この打ち傷は取っ付き易い」ということは真実であるとすると裏見でない
1. 仮定1: 以下のように仮定する。この打ち傷は取っ付き易い
2. 事実4と仮定1から、推論1: "この打ち傷が革新するしその上それは取っ付き易い"が導かれる
3. 推論1と事実3から、推論2: "「この打ち傷は裏見でない」ということは正しい"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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