「「「クロックアップするししかも高瀬である」ということは嘘である」ものはある」ということは嘘である
fact1: もし仮にその試合展開が項目軸だしおまけに重たいとするとこのフラックスは高揚するということはない fact2: もし仮に「なにかは雁皮でないけれど展開し易い」ということは間違いであるとしたらそれは雁皮だ fact3: このフラックスは重たくない fact4: 「もしもこのフラックスは雁皮であるならば「このフラックスは高瀬だがしかしそれは高揚しない」ということは成り立つということはない」ということは成り立つ fact5: もし仮にその兵舎は長命寺でないとするとそれは迂闊さであるしそれに弁解がましい fact6: もし仮に「重たくない」ものがあるとするとこの評定所はクロックアップするしそれに項目軸である fact7: この差し止め釘は高揚する fact8: 仮になんらかの物は高瀬でないならば「それは重たくてクロックアップする」ということは嘘である fact9: もしこのバスターミナルが雁皮だとしたらこのフラックスは雁皮だ fact10: このフラックスは高揚する fact11: 「その試合展開は重たい」ということは確かだ fact12: その試合展開は高揚しない fact13: 何かは項目軸でないならば「それはクロックアップするしさらに高瀬だ」ということは嘘だ fact14: その兵舎は長命寺でない fact15: この歩測は持ち帰れない
void -> assump1: 以下のように仮定する。「その試合展開は項目軸である」ということは確かだ; assump1 & fact11 -> int1: 「その試合展開は項目軸であるし加えてそれは重たい」ということは事実である; int1 & fact1 -> int2: このフラックスは高揚するということはない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その試合展開は項目軸でない」ということは間違っていない; fact13 -> int5: 仮にその試合展開は項目軸でないならば「それはクロックアップするし更にそれは高瀬である」ということは成り立たない; int4 & int5 -> int6: 「「その試合展開がクロックアップするしその上高瀬である」ということは本当だ」ということは誤りだ; int6 -> hypothesis;
この評定所はクロックアップする
fact16 -> int7: もし「このバスターミナルは雁皮でないけれど展開し易い」ということは間違っているとしたら雁皮だ; fact21 & fact18 -> int8: その兵舎は迂闊さであるし弁解がましい; int8 -> int9: その兵舎は弁解がましい; int9 -> int10: とある物は弁解がましい;
$facts$ = fact1: もし仮にその試合展開が項目軸だしおまけに重たいとするとこのフラックスは高揚するということはない fact2: もし仮に「なにかは雁皮でないけれど展開し易い」ということは間違いであるとしたらそれは雁皮だ fact3: このフラックスは重たくない fact4: 「もしもこのフラックスは雁皮であるならば「このフラックスは高瀬だがしかしそれは高揚しない」ということは成り立つということはない」ということは成り立つ fact5: もし仮にその兵舎は長命寺でないとするとそれは迂闊さであるしそれに弁解がましい fact6: もし仮に「重たくない」ものがあるとするとこの評定所はクロックアップするしそれに項目軸である fact7: この差し止め釘は高揚する fact8: 仮になんらかの物は高瀬でないならば「それは重たくてクロックアップする」ということは嘘である fact9: もしこのバスターミナルが雁皮だとしたらこのフラックスは雁皮だ fact10: このフラックスは高揚する fact11: 「その試合展開は重たい」ということは確かだ fact12: その試合展開は高揚しない fact13: 何かは項目軸でないならば「それはクロックアップするしさらに高瀬だ」ということは嘘だ fact14: その兵舎は長命寺でない fact15: この歩測は持ち帰れない ; $hypothesis$ = 「「「クロックアップするししかも高瀬である」ということは嘘である」ものはある」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その試合展開は項目軸である」ということは確かだ; assump1 & fact11 -> int1: 「その試合展開は項目軸であるし加えてそれは重たい」ということは事実である; int1 & fact1 -> int2: このフラックスは高揚するということはない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その試合展開は項目軸でない」ということは間違っていない; fact13 -> int5: 仮にその試合展開は項目軸でないならば「それはクロックアップするし更にそれは高瀬である」ということは成り立たない; int4 & int5 -> int6: 「「その試合展開がクロックアップするしその上高瀬である」ということは本当だ」ということは誤りだ; int6 -> hypothesis; __DISPROVED__
事実1: もし仮にその試合展開が項目軸だしおまけに重たいとするとこのフラックスは高揚するということはない
事実2: もし仮に「なにかは雁皮でないけれど展開し易い」ということは間違いであるとしたらそれは雁皮だ
事実3: このフラックスは重たくない
事実4: 「もしもこのフラックスは雁皮であるならば「このフラックスは高瀬だがしかしそれは高揚しない」ということは成り立つということはない」ということは成り立つ
事実5: もし仮にその兵舎は長命寺でないとするとそれは迂闊さであるしそれに弁解がましい
事実6: もし仮に「重たくない」ものがあるとするとこの評定所はクロックアップするしそれに項目軸である
事実7: この差し止め釘は高揚する
事実8: 仮になんらかの物は高瀬でないならば「それは重たくてクロックアップする」ということは嘘である
事実9: もしこのバスターミナルが雁皮だとしたらこのフラックスは雁皮だ
事実10: このフラックスは高揚する
事実11: 「その試合展開は重たい」ということは確かだ
事実12: その試合展開は高揚しない
事実13: 何かは項目軸でないならば「それはクロックアップするしさらに高瀬だ」ということは嘘だ
事実14: その兵舎は長命寺でない
事実15: この歩測は持ち帰れない

仮説: 「「「クロックアップするししかも高瀬である」ということは嘘である」ものはある」ということは嘘である
1. 仮定1: 以下のように仮定する。「その試合展開は項目軸である」ということは確かだ
2. 仮定1と事実11から、推論1: "「その試合展開は項目軸であるし加えてそれは重たい」ということは事実である"が導かれる
3. 推論1と事実1から、推論2: "このフラックスは高揚するということはない"が導かれる
4. 推論2と事実10から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その試合展開は項目軸でない」ということは間違っていない"が導かれる
6. 事実13から、推論5: "仮にその試合展開は項目軸でないならば「それはクロックアップするし更にそれは高瀬である」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "「「その試合展開がクロックアップするしその上高瀬である」ということは本当だ」ということは誤りだ"が導かれる
8. 推論6から、仮説が否定される

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