この一必殺技は縁編みだ
fact1: 仮になにがしかの物が震うということはないならば正せるし縁編みだ fact2: この成立史は正せらない fact3: もしなにがしかの物が正せる一方でそれは縁編みでないなら照準する fact4: もし仮になんらかの物はハイブリッドバリアフィルムなら「逆接だ一方で痛くない」ということは成り立たない fact5: もし「戻し易くないがしかし美々しい」ものがあるとしたらあの記念室は壊れ易い fact6: もし仮になにがしかの物が震わないとしたら縁編みでしかもそれは正せる fact7: あのウォーターハザードはハイブリッドバリアフィルムだし語り始める fact8: もし仮に「逆接であるということはない」物はあるとしたら「あの電卓は失速しないがしかし振り出す」ということは成り立たない fact9: この一必殺技は正せらない fact10: もし「何かは御悪いがしかし弗素でない」ということは成り立たないとすればそれは弗素だ fact11: この一必殺技が縁編みならばそれは正せる fact12: その自社所有は縁編みである fact13: もしあの記念室は戻し易くないし加えて壊れ易くないとすると「その手摺は壊れ易いということはない」ということは真実である fact14: もしその手摺は壊れ易くないなら「勉強方法でそれは任せ切る」ということは間違いだ fact15: もし仮に「あの電卓は失速しない一方でそれは振り出す」ということは成り立たないとするとこの海堡は叫び出さない fact16: もしもとあるものが震わないとしたらそれは正せるがしかし縁編みであるということはない fact17: 仮に「あのウォーターハザードは逆接だがしかし痛くない」ということは成り立たないとするとあの産業組合は逆接でない fact18: もしもこの海堡は叫び出さないなら「この護身用は御悪いけれど弗素でない」ということは偽である fact19: もし仮にこの護身用が弗素だとすればその誤認は戻し易くないけれど美々しい fact20: もし仮にその手摺は任せ切らないとすると「この一必殺技が勉強方法だし更に震う」ということは成り立たない fact21: 仮に「ある物が勉強方法だしまたそれは震う」ということは誤りであるとすれば震わない
void -> assump1: 以下のように仮定する。この一必殺技は縁編みである; fact11 & assump1 -> int1: この一必殺技は正せる; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact11 & assump1 -> int1: {B}{a}; int1 & fact9 -> int2: #F#; [assump1] & int2 -> hypothesis;
この一必殺技は照準する
fact22 -> int3: もしもこの一必殺技が正せるけどそれは縁編みでないとするとそれは照準する; fact25 -> int4: もし仮にこの一必殺技が震わないとすればそれは正せるが縁編みでない;
$facts$ = fact1: 仮になにがしかの物が震うということはないならば正せるし縁編みだ fact2: この成立史は正せらない fact3: もしなにがしかの物が正せる一方でそれは縁編みでないなら照準する fact4: もし仮になんらかの物はハイブリッドバリアフィルムなら「逆接だ一方で痛くない」ということは成り立たない fact5: もし「戻し易くないがしかし美々しい」ものがあるとしたらあの記念室は壊れ易い fact6: もし仮になにがしかの物が震わないとしたら縁編みでしかもそれは正せる fact7: あのウォーターハザードはハイブリッドバリアフィルムだし語り始める fact8: もし仮に「逆接であるということはない」物はあるとしたら「あの電卓は失速しないがしかし振り出す」ということは成り立たない fact9: この一必殺技は正せらない fact10: もし「何かは御悪いがしかし弗素でない」ということは成り立たないとすればそれは弗素だ fact11: この一必殺技が縁編みならばそれは正せる fact12: その自社所有は縁編みである fact13: もしあの記念室は戻し易くないし加えて壊れ易くないとすると「その手摺は壊れ易いということはない」ということは真実である fact14: もしその手摺は壊れ易くないなら「勉強方法でそれは任せ切る」ということは間違いだ fact15: もし仮に「あの電卓は失速しない一方でそれは振り出す」ということは成り立たないとするとこの海堡は叫び出さない fact16: もしもとあるものが震わないとしたらそれは正せるがしかし縁編みであるということはない fact17: 仮に「あのウォーターハザードは逆接だがしかし痛くない」ということは成り立たないとするとあの産業組合は逆接でない fact18: もしもこの海堡は叫び出さないなら「この護身用は御悪いけれど弗素でない」ということは偽である fact19: もし仮にこの護身用が弗素だとすればその誤認は戻し易くないけれど美々しい fact20: もし仮にその手摺は任せ切らないとすると「この一必殺技が勉強方法だし更に震う」ということは成り立たない fact21: 仮に「ある物が勉強方法だしまたそれは震う」ということは誤りであるとすれば震わない ; $hypothesis$ = この一必殺技は縁編みだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この一必殺技は縁編みである; fact11 & assump1 -> int1: この一必殺技は正せる; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物が震うということはないならば正せるし縁編みだ
事実2: この成立史は正せらない
事実3: もしなにがしかの物が正せる一方でそれは縁編みでないなら照準する
事実4: もし仮になんらかの物はハイブリッドバリアフィルムなら「逆接だ一方で痛くない」ということは成り立たない
事実5: もし「戻し易くないがしかし美々しい」ものがあるとしたらあの記念室は壊れ易い
事実6: もし仮になにがしかの物が震わないとしたら縁編みでしかもそれは正せる
事実7: あのウォーターハザードはハイブリッドバリアフィルムだし語り始める
事実8: もし仮に「逆接であるということはない」物はあるとしたら「あの電卓は失速しないがしかし振り出す」ということは成り立たない
事実9: この一必殺技は正せらない
事実10: もし「何かは御悪いがしかし弗素でない」ということは成り立たないとすればそれは弗素だ
事実11: この一必殺技が縁編みならばそれは正せる
事実12: その自社所有は縁編みである
事実13: もしあの記念室は戻し易くないし加えて壊れ易くないとすると「その手摺は壊れ易いということはない」ということは真実である
事実14: もしその手摺は壊れ易くないなら「勉強方法でそれは任せ切る」ということは間違いだ
事実15: もし仮に「あの電卓は失速しない一方でそれは振り出す」ということは成り立たないとするとこの海堡は叫び出さない
事実16: もしもとあるものが震わないとしたらそれは正せるがしかし縁編みであるということはない
事実17: 仮に「あのウォーターハザードは逆接だがしかし痛くない」ということは成り立たないとするとあの産業組合は逆接でない
事実18: もしもこの海堡は叫び出さないなら「この護身用は御悪いけれど弗素でない」ということは偽である
事実19: もし仮にこの護身用が弗素だとすればその誤認は戻し易くないけれど美々しい
事実20: もし仮にその手摺は任せ切らないとすると「この一必殺技が勉強方法だし更に震う」ということは成り立たない
事実21: 仮に「ある物が勉強方法だしまたそれは震う」ということは誤りであるとすれば震わない

仮説: この一必殺技は縁編みだ
1. 仮定1: 以下のように仮定する。この一必殺技は縁編みである
2. 事実11と仮定1から、推論1: "この一必殺技は正せる"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

よって、仮説が否定されました。