このカーブＳは負け続ける
fact1: もしあの権利宣言が取り扱い易くないなら加増しないかもしくはそれは掘り返さない fact2: 仮にあのモニタが負け続けるけど複雑化しないならばこのカーブＳは負け続ける fact3: 仮になにがしかの物が暗いとするとそれは被覆する fact4: その騾馬が御代わりするということはないとするとあのモニタは負け続ける一方でそれは複雑化しない fact5: もしもこの御無事が御初でないかあるいは御代わりするかあるいはどちらもだとしたらその騾馬は御代わりしない fact6: このカーブＳが響き渡るしそれにそれは傾き易いとすると「それは負け続けない」ということは本当である fact7: このカーブＳは響き渡るししかも傾き易い fact8: なにがしかの物が被覆するとすればそれは御初であるということはないかそれは御代わりするかまたは両方だ fact9: もし何らかのものがうつらうつらしないとすれば二の句でないかまたは周知しないかあるいは両方ともである fact10: あの各変数は負け続ける fact11: あの権利宣言は取り扱い易くない fact12: もし仮にこの地方役人が二の句でないかあるいは周知しないかもしくは両方であるとしたらその短期・長期は周知しない
fact6 & fact7 -> hypothesis;
fact6 & fact7 -> hypothesis;
このカーブＳは負け続ける
fact13 -> int1: この御無事が被覆するとしたらそれは御初だということはないかまたは御代わりするかまたは両方だ; fact14 -> int2: もしもこの御無事が暗いとすれば被覆する; fact20 -> int3: もしこの地方役人がうつらうつらするということはないならそれは二の句でないかもしくは周知しないかもしくは両方である; fact15 & fact17 -> int4: あの権利宣言は加増するということはないかそれは掘り返さないかもしくは両方ともである;
$facts$ = fact1: もしあの権利宣言が取り扱い易くないなら加増しないかもしくはそれは掘り返さない fact2: 仮にあのモニタが負け続けるけど複雑化しないならばこのカーブＳは負け続ける fact3: 仮になにがしかの物が暗いとするとそれは被覆する fact4: その騾馬が御代わりするということはないとするとあのモニタは負け続ける一方でそれは複雑化しない fact5: もしもこの御無事が御初でないかあるいは御代わりするかあるいはどちらもだとしたらその騾馬は御代わりしない fact6: このカーブＳが響き渡るしそれにそれは傾き易いとすると「それは負け続けない」ということは本当である fact7: このカーブＳは響き渡るししかも傾き易い fact8: なにがしかの物が被覆するとすればそれは御初であるということはないかそれは御代わりするかまたは両方だ fact9: もし何らかのものがうつらうつらしないとすれば二の句でないかまたは周知しないかあるいは両方ともである fact10: あの各変数は負け続ける fact11: あの権利宣言は取り扱い易くない fact12: もし仮にこの地方役人が二の句でないかあるいは周知しないかもしくは両方であるとしたらその短期・長期は周知しない ; $hypothesis$ = このカーブＳは負け続ける ; $proof$ = 
fact6 & fact7 -> hypothesis; __DISPROVED__
事実1: もしあの権利宣言が取り扱い易くないなら加増しないかもしくはそれは掘り返さない
事実2: 仮にあのモニタが負け続けるけど複雑化しないならばこのカーブＳは負け続ける
事実3: 仮になにがしかの物が暗いとするとそれは被覆する
事実4: その騾馬が御代わりするということはないとするとあのモニタは負け続ける一方でそれは複雑化しない
事実5: もしもこの御無事が御初でないかあるいは御代わりするかあるいはどちらもだとしたらその騾馬は御代わりしない
事実6: このカーブＳが響き渡るしそれにそれは傾き易いとすると「それは負け続けない」ということは本当である
事実7: このカーブＳは響き渡るししかも傾き易い
事実8: なにがしかの物が被覆するとすればそれは御初であるということはないかそれは御代わりするかまたは両方だ
事実9: もし何らかのものがうつらうつらしないとすれば二の句でないかまたは周知しないかあるいは両方ともである
事実10: あの各変数は負け続ける
事実11: あの権利宣言は取り扱い易くない
事実12: もし仮にこの地方役人が二の句でないかあるいは周知しないかもしくは両方であるとしたらその短期・長期は周知しない

仮説: このカーブＳは負け続ける
1. 事実6と事実7から、仮説が否定される

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