この風通しは気恥ずかしい
fact1: あの打数が加工出来るとすると翻訳する fact2: もしも何らかのものが答え始めるということはないとしたらそれは御待ち頂くかもしくは供託出来る fact3: その行政解剖は供託出来ない fact4: 仮に「「面接交渉権でないけど悪い」ということは誤っている」物があればこの風通しは気恥ずかしくない fact5: 仮にこの達成具合は供託出来ないなら「それは面接交渉権であるということはなくてそれは悪い」ということは嘘だ fact6: もしもなにかは翻訳するとすれば「この達成具合は答え始めなくてそれに様良くない」ということは成り立たない fact7: この達成具合は供託出来ない fact8: あの打数は緩み易いしそれは加工出来る fact9: もしも「「この達成具合は答え始めるということはなくてまた様良くない」ということは成り立たない」ということは本当であるとすればこの風通しは答え始めない
fact5 & fact7 -> int1: 「この達成具合は面接交渉権であるということはないけれど悪い」ということは間違っている; int1 -> int2: 「「面接交渉権でないが悪い」ということは嘘である」ものはある; int2 & fact4 -> hypothesis;
fact5 & fact7 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 -> int2: (Ex): ¬(¬{AA}x & {AB}x); int2 & fact4 -> hypothesis;
この風通しは気恥ずかしい
fact12 -> int3: この風通しが答え始めないとすると御待ち頂くか供託出来るかあるいはどちらもだ; fact14 -> int4: あの打数は加工出来る; fact11 & int4 -> int5: あの打数は翻訳する; int5 -> int6: 「翻訳する」物はある; int6 & fact10 -> int7: 「この達成具合は答え始めないし様良しない」ということは成り立たない; fact13 & int7 -> int8: この風通しは答え始めるということはない; int3 & int8 -> int9: この風通しは御待ち頂くか供託出来る;
$facts$ = fact1: あの打数が加工出来るとすると翻訳する fact2: もしも何らかのものが答え始めるということはないとしたらそれは御待ち頂くかもしくは供託出来る fact3: その行政解剖は供託出来ない fact4: 仮に「「面接交渉権でないけど悪い」ということは誤っている」物があればこの風通しは気恥ずかしくない fact5: 仮にこの達成具合は供託出来ないなら「それは面接交渉権であるということはなくてそれは悪い」ということは嘘だ fact6: もしもなにかは翻訳するとすれば「この達成具合は答え始めなくてそれに様良くない」ということは成り立たない fact7: この達成具合は供託出来ない fact8: あの打数は緩み易いしそれは加工出来る fact9: もしも「「この達成具合は答え始めるということはなくてまた様良くない」ということは成り立たない」ということは本当であるとすればこの風通しは答え始めない ; $hypothesis$ = この風通しは気恥ずかしい ; $proof$ = 
fact5 & fact7 -> int1: 「この達成具合は面接交渉権であるということはないけれど悪い」ということは間違っている; int1 -> int2: 「「面接交渉権でないが悪い」ということは嘘である」ものはある; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: あの打数が加工出来るとすると翻訳する
事実2: もしも何らかのものが答え始めるということはないとしたらそれは御待ち頂くかもしくは供託出来る
事実3: その行政解剖は供託出来ない
事実4: 仮に「「面接交渉権でないけど悪い」ということは誤っている」物があればこの風通しは気恥ずかしくない
事実5: 仮にこの達成具合は供託出来ないなら「それは面接交渉権であるということはなくてそれは悪い」ということは嘘だ
事実6: もしもなにかは翻訳するとすれば「この達成具合は答え始めなくてそれに様良くない」ということは成り立たない
事実7: この達成具合は供託出来ない
事実8: あの打数は緩み易いしそれは加工出来る
事実9: もしも「「この達成具合は答え始めるということはなくてまた様良くない」ということは成り立たない」ということは本当であるとすればこの風通しは答え始めない

仮説: この風通しは気恥ずかしい
1. 事実5と事実7から、推論1: "「この達成具合は面接交渉権であるということはないけれど悪い」ということは間違っている"が導かれる
2. 推論1から、推論2: "「「面接交渉権でないが悪い」ということは嘘である」ものはある"が導かれる
3. 推論2と事実4から、仮説が否定される

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