「この医療機器は縛り上げる」ということは本当である
fact1: もし仮にあの複数年度が照り付けないとしたら追記するしまた予測し易い fact2: 「とあるものは縛り上げるけど内省しない」ということは成り立たないならば予測し易い fact3: 仮に「この医療機器は陥り易くないけどそれはハンドクリームだ」ということは成り立たないとしたらそれは内省する fact4: この医療機器は予測し易い fact5: 仮に「あの複数年度は内省しないけどハンドクリームだ」ということは成り立たないとしたら予測し易い fact6: もしもその旧東海勢が結び付けるということはないがそれが照り付けるとしたらそれは追記しない fact7: 仮にこの医療機器が陥り易いとすればあの複数年度は陥り易くない fact8: もしもその群青色は予測し易いならば「あの複数年度は予測し易くない」ということは成り立つ fact9: もし「その群青色は予測し易くない一方でそれは縛り上げる」ということは間違っているとすればそれは陥り易い fact10: 「この医療機器は追記しない」ということは確かだとしたらあの複数年度は予測し易い fact11: 「この医療機器は陥り易いということはないがハンドクリームだ」ということは偽である fact12: 「この医療機器は錯誤しないけど反則行為だ」ということは間違っている fact13: もしなにがしかのものは追記するとすれば「内省しなくて縛り上げない」ということは成り立たない fact14: その納期遅れは縛り上げるということはない fact15: あの複数年度は意気投合である fact16: この第三大隊は予測し易い fact17: もしもなにがしかの物は追記しないならば「縛り上げる一方で内省しない」ということは間違いだ fact18: あの複数年度は組み合わさない fact19: もし仮にこの医療機器が内省するとしたらその群青色は内省しない fact20: その群青色は予測し易い fact21: もしなんらかのものは内省するしそれに縛り上げるとしたら追記しない
fact3 & fact11 -> int1: 「この医療機器は内省する」ということは成り立つ; void -> assump1: 以下のように仮定する。この医療機器は縛り上げる; int1 & assump1 -> int2: この医療機器は内省するしまた縛り上げる; fact21 -> int3: 仮にこの医療機器は内省するしさらに縛り上げるならそれは追記するということはない; int2 & int3 -> int4: この医療機器は追記しない; int4 & fact10 -> int5: あの複数年度は予測し易い; fact8 & fact20 -> int6: あの複数年度は予測し易くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この医療機器は縛り上げる
fact23 -> int8: もしあの複数年度は追記するとしたら「内省しなくてその上縛り上げるということはない」ということは成り立つということはない;
$facts$ = fact1: もし仮にあの複数年度が照り付けないとしたら追記するしまた予測し易い fact2: 「とあるものは縛り上げるけど内省しない」ということは成り立たないならば予測し易い fact3: 仮に「この医療機器は陥り易くないけどそれはハンドクリームだ」ということは成り立たないとしたらそれは内省する fact4: この医療機器は予測し易い fact5: 仮に「あの複数年度は内省しないけどハンドクリームだ」ということは成り立たないとしたら予測し易い fact6: もしもその旧東海勢が結び付けるということはないがそれが照り付けるとしたらそれは追記しない fact7: 仮にこの医療機器が陥り易いとすればあの複数年度は陥り易くない fact8: もしもその群青色は予測し易いならば「あの複数年度は予測し易くない」ということは成り立つ fact9: もし「その群青色は予測し易くない一方でそれは縛り上げる」ということは間違っているとすればそれは陥り易い fact10: 「この医療機器は追記しない」ということは確かだとしたらあの複数年度は予測し易い fact11: 「この医療機器は陥り易いということはないがハンドクリームだ」ということは偽である fact12: 「この医療機器は錯誤しないけど反則行為だ」ということは間違っている fact13: もしなにがしかのものは追記するとすれば「内省しなくて縛り上げない」ということは成り立たない fact14: その納期遅れは縛り上げるということはない fact15: あの複数年度は意気投合である fact16: この第三大隊は予測し易い fact17: もしもなにがしかの物は追記しないならば「縛り上げる一方で内省しない」ということは間違いだ fact18: あの複数年度は組み合わさない fact19: もし仮にこの医療機器が内省するとしたらその群青色は内省しない fact20: その群青色は予測し易い fact21: もしなんらかのものは内省するしそれに縛り上げるとしたら追記しない ; $hypothesis$ = 「この医療機器は縛り上げる」ということは本当である ; $proof$ = 
fact3 & fact11 -> int1: 「この医療機器は内省する」ということは成り立つ; void -> assump1: 以下のように仮定する。この医療機器は縛り上げる; int1 & assump1 -> int2: この医療機器は内省するしまた縛り上げる; fact21 -> int3: 仮にこの医療機器は内省するしさらに縛り上げるならそれは追記するということはない; int2 & int3 -> int4: この医療機器は追記しない; int4 & fact10 -> int5: あの複数年度は予測し易い; fact8 & fact20 -> int6: あの複数年度は予測し易くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし仮にあの複数年度が照り付けないとしたら追記するしまた予測し易い
事実2: 「とあるものは縛り上げるけど内省しない」ということは成り立たないならば予測し易い
事実3: 仮に「この医療機器は陥り易くないけどそれはハンドクリームだ」ということは成り立たないとしたらそれは内省する
事実4: この医療機器は予測し易い
事実5: 仮に「あの複数年度は内省しないけどハンドクリームだ」ということは成り立たないとしたら予測し易い
事実6: もしもその旧東海勢が結び付けるということはないがそれが照り付けるとしたらそれは追記しない
事実7: 仮にこの医療機器が陥り易いとすればあの複数年度は陥り易くない
事実8: もしもその群青色は予測し易いならば「あの複数年度は予測し易くない」ということは成り立つ
事実9: もし「その群青色は予測し易くない一方でそれは縛り上げる」ということは間違っているとすればそれは陥り易い
事実10: 「この医療機器は追記しない」ということは確かだとしたらあの複数年度は予測し易い
事実11: 「この医療機器は陥り易いということはないがハンドクリームだ」ということは偽である
事実12: 「この医療機器は錯誤しないけど反則行為だ」ということは間違っている
事実13: もしなにがしかのものは追記するとすれば「内省しなくて縛り上げない」ということは成り立たない
事実14: その納期遅れは縛り上げるということはない
事実15: あの複数年度は意気投合である
事実16: この第三大隊は予測し易い
事実17: もしもなにがしかの物は追記しないならば「縛り上げる一方で内省しない」ということは間違いだ
事実18: あの複数年度は組み合わさない
事実19: もし仮にこの医療機器が内省するとしたらその群青色は内省しない
事実20: その群青色は予測し易い
事実21: もしなんらかのものは内省するしそれに縛り上げるとしたら追記しない

仮説: 「この医療機器は縛り上げる」ということは本当である
1. 事実3と事実11から、推論1: "「この医療機器は内省する」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。この医療機器は縛り上げる
3. 推論1と仮定1から、推論2: "この医療機器は内省するしまた縛り上げる"が導かれる
4. 事実21から、推論3: "仮にこの医療機器は内省するしさらに縛り上げるならそれは追記するということはない"が導かれる
5. 推論2と推論3から、推論4: "この医療機器は追記しない"が導かれる
6. 推論4と事実10から、推論5: "あの複数年度は予測し易い"が導かれる
7. 事実8と事実20から、推論6: "あの複数年度は予測し易くない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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