「この動員・操作は学び続けないかあるいはヘッジであるか両方ともだ」ということは事実でない
fact1: 仮にこの動員・操作がヘッジであるしそれに学び続けるとすれば「きらめかない」ということは本当である fact2: この動員・操作は辛気臭い fact3: あの検査方法がヘッジだし当たり易いならそれは学び続けない fact4: もし仮に「あの検査方法はヘッジでない」ということは成り立つとするとこの動員・操作は学び続けるかヘッジであるかあるいは両方ともである fact5: この復活劇は当たり易くてまた捻くれる fact6: もし仮に「なにがしかのものは押し殺さない」ということは成り立つとすればそれは融合するし眠くない fact7: 「もし仮にあの検査方法が一年間程度であるしそれにきらめけばこの動員・操作は当たり易くない」ということは成り立つ fact8: 仮にあの検査方法がヘッジでないならばこの動員・操作は学び続けないかもしくはヘッジであるかもしくは両方である fact9: あの検査方法は当たり易い fact10: もし仮に「あの検査方法はきらめかない」ということは本当だとするとこの動員・操作は学び続けないかもしくはそれはきらめくか両方ともである fact11: もし仮に当たり易いものはきらめくとすると「それはヘッジでない」ということは事実だ fact12: もしその指定事業者が融合するがそれが眠くないとすればあの検査方法は融合しない fact13: あの検査方法は学び続けない fact14: 「この系統間はきらめく」ということは真実である fact15: この動員・操作はきらめく fact16: 「あの検査方法はきらめく」ということは真実である fact17: なんらかの物が融合しないとしたらそれは一年間程度であるしその上きらめく
fact9 & fact16 -> int1: あの検査方法は当たり易くてそれにきらめく; fact11 -> int2: もしあの検査方法は当たり易くてきらめけばそれはヘッジでない; int1 & int2 -> int3: あの検査方法はヘッジでない; int3 & fact8 -> hypothesis;
fact9 & fact16 -> int1: ({A}{a} & {B}{a}); fact11 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 & fact8 -> hypothesis;
「この動員・操作は学び続けないかもしくはヘッジであるか両方だ」ということは誤りである
fact19 -> int4: 仮にあの検査方法が融合するということはないとすると一年間程度できらめく; fact21 -> int5: その指定事業者が押し殺さないとすると融合するしかつ眠くない;
$facts$ = fact1: 仮にこの動員・操作がヘッジであるしそれに学び続けるとすれば「きらめかない」ということは本当である fact2: この動員・操作は辛気臭い fact3: あの検査方法がヘッジだし当たり易いならそれは学び続けない fact4: もし仮に「あの検査方法はヘッジでない」ということは成り立つとするとこの動員・操作は学び続けるかヘッジであるかあるいは両方ともである fact5: この復活劇は当たり易くてまた捻くれる fact6: もし仮に「なにがしかのものは押し殺さない」ということは成り立つとすればそれは融合するし眠くない fact7: 「もし仮にあの検査方法が一年間程度であるしそれにきらめけばこの動員・操作は当たり易くない」ということは成り立つ fact8: 仮にあの検査方法がヘッジでないならばこの動員・操作は学び続けないかもしくはヘッジであるかもしくは両方である fact9: あの検査方法は当たり易い fact10: もし仮に「あの検査方法はきらめかない」ということは本当だとするとこの動員・操作は学び続けないかもしくはそれはきらめくか両方ともである fact11: もし仮に当たり易いものはきらめくとすると「それはヘッジでない」ということは事実だ fact12: もしその指定事業者が融合するがそれが眠くないとすればあの検査方法は融合しない fact13: あの検査方法は学び続けない fact14: 「この系統間はきらめく」ということは真実である fact15: この動員・操作はきらめく fact16: 「あの検査方法はきらめく」ということは真実である fact17: なんらかの物が融合しないとしたらそれは一年間程度であるしその上きらめく ; $hypothesis$ = 「この動員・操作は学び続けないかあるいはヘッジであるか両方ともだ」ということは事実でない ; $proof$ = 
fact9 & fact16 -> int1: あの検査方法は当たり易くてそれにきらめく; fact11 -> int2: もしあの検査方法は当たり易くてきらめけばそれはヘッジでない; int1 & int2 -> int3: あの検査方法はヘッジでない; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にこの動員・操作がヘッジであるしそれに学び続けるとすれば「きらめかない」ということは本当である
事実2: この動員・操作は辛気臭い
事実3: あの検査方法がヘッジだし当たり易いならそれは学び続けない
事実4: もし仮に「あの検査方法はヘッジでない」ということは成り立つとするとこの動員・操作は学び続けるかヘッジであるかあるいは両方ともである
事実5: この復活劇は当たり易くてまた捻くれる
事実6: もし仮に「なにがしかのものは押し殺さない」ということは成り立つとすればそれは融合するし眠くない
事実7: 「もし仮にあの検査方法が一年間程度であるしそれにきらめけばこの動員・操作は当たり易くない」ということは成り立つ
事実8: 仮にあの検査方法がヘッジでないならばこの動員・操作は学び続けないかもしくはヘッジであるかもしくは両方である
事実9: あの検査方法は当たり易い
事実10: もし仮に「あの検査方法はきらめかない」ということは本当だとするとこの動員・操作は学び続けないかもしくはそれはきらめくか両方ともである
事実11: もし仮に当たり易いものはきらめくとすると「それはヘッジでない」ということは事実だ
事実12: もしその指定事業者が融合するがそれが眠くないとすればあの検査方法は融合しない
事実13: あの検査方法は学び続けない
事実14: 「この系統間はきらめく」ということは真実である
事実15: この動員・操作はきらめく
事実16: 「あの検査方法はきらめく」ということは真実である
事実17: なんらかの物が融合しないとしたらそれは一年間程度であるしその上きらめく

仮説: 「この動員・操作は学び続けないかあるいはヘッジであるか両方ともだ」ということは事実でない
1. 事実9と事実16から、推論1: "あの検査方法は当たり易くてそれにきらめく"が導かれる
2. 事実11から、推論2: "もしあの検査方法は当たり易くてきらめけばそれはヘッジでない"が導かれる
3. 推論1と推論2から、推論3: "あの検査方法はヘッジでない"が導かれる
4. 推論3と事実8から、仮説が否定される

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