「「仮に「遣り終えるがしかし戦績でない」ということは成り立つということはないなら苛々し易くない」物はある」ということは事実と異なる
fact1: 仮に「とあるものは間違い易いけど注意深くない」ということは成り立たないとしたら空しい fact2: 「もし仮に「とある物は遣り終えるがしかしそれは戦績でない」ということは間違いならそれは苛々し易くない」ということは本当だ fact3: 仮に「なにがしかのものは打ち込むが変形しない」ということは成り立たないとすれば残り易い fact4: 仮に間違い易いものが決着しないとしたらそれは勘案するということはない fact5: 「仮に抗酸化ビタミンであるとすれば交錯でない」ものはある fact6: 「もし仮に「遣り終えるし更に戦績である」ということは間違っていれば苛々し易くない」ものはある fact7: もしも「その風聞は遣り終えるがしかしそれは戦績だということはない」ということは嘘であるとすれば苛々し易い fact8: もしも「ある物は当たり難いけど振り替えだということはない」ということは偽であるとすればそれは修理出来ない
fact2 -> int1: 仮に「その風聞は遣り終える一方で戦績であるということはない」ということは誤っているとすれば苛々し易くない; int1 -> hypothesis;
$facts$ = fact1: 仮に「とあるものは間違い易いけど注意深くない」ということは成り立たないとしたら空しい fact2: 「もし仮に「とある物は遣り終えるがしかしそれは戦績でない」ということは間違いならそれは苛々し易くない」ということは本当だ fact3: 仮に「なにがしかのものは打ち込むが変形しない」ということは成り立たないとすれば残り易い fact4: 仮に間違い易いものが決着しないとしたらそれは勘案するということはない fact5: 「仮に抗酸化ビタミンであるとすれば交錯でない」ものはある fact6: 「もし仮に「遣り終えるし更に戦績である」ということは間違っていれば苛々し易くない」ものはある fact7: もしも「その風聞は遣り終えるがしかしそれは戦績だということはない」ということは嘘であるとすれば苛々し易い fact8: もしも「ある物は当たり難いけど振り替えだということはない」ということは偽であるとすればそれは修理出来ない ; $hypothesis$ = 「「仮に「遣り終えるがしかし戦績でない」ということは成り立つということはないなら苛々し易くない」物はある」ということは事実と異なる ; $proof$ = 
fact2 -> int1: 仮に「その風聞は遣り終える一方で戦績であるということはない」ということは誤っているとすれば苛々し易くない; int1 -> hypothesis; __DISPROVED__
事実1: 仮に「とあるものは間違い易いけど注意深くない」ということは成り立たないとしたら空しい
事実2: 「もし仮に「とある物は遣り終えるがしかしそれは戦績でない」ということは間違いならそれは苛々し易くない」ということは本当だ
事実3: 仮に「なにがしかのものは打ち込むが変形しない」ということは成り立たないとすれば残り易い
事実4: 仮に間違い易いものが決着しないとしたらそれは勘案するということはない
事実5: 「仮に抗酸化ビタミンであるとすれば交錯でない」ものはある
事実6: 「もし仮に「遣り終えるし更に戦績である」ということは間違っていれば苛々し易くない」ものはある
事実7: もしも「その風聞は遣り終えるがしかしそれは戦績だということはない」ということは嘘であるとすれば苛々し易い
事実8: もしも「ある物は当たり難いけど振り替えだということはない」ということは偽であるとすればそれは修理出来ない

仮説: 「「仮に「遣り終えるがしかし戦績でない」ということは成り立つということはないなら苛々し易くない」物はある」ということは事実と異なる
1. 事実2から、推論1: "仮に「その風聞は遣り終える一方で戦績であるということはない」ということは誤っているとすれば苛々し易くない"が導かれる
2. 推論1から、仮説が否定される

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