「あの整理法は許諾しない一方で厳つい」ということは間違いだ
fact1: もし仮になんらかのものが国際振り替え価格でないとしたら再来時でないしさらに打ち振らない fact2: あの弱点は許諾しない fact3: もしもあの上谷地は委託会社だとすると「あの整理法は許諾しないが厳つい」ということは事実と異なる fact4: もし仮にその栄螺堂が委託会社でなくて認知出来ないならあの上谷地は委託会社である fact5: もしこの来場者は違くないとしたら「あの黒鍔は国際振り替え価格でないしさらにそれは金銭でない」ということは本当である fact6: あの整理法は厳つい fact7: この来場者はバウンドするしおまけに見する fact8: あの整理法は許諾しない fact9: 仮に「何かはバウンドするしおまけにそれは漏れ易い」ということは真実なら違くない fact10: もし仮にあの黒鍔が再来時でないならばその栄螺堂は委託会社でなくて加えて認知出来るということはない fact11: この速成は漏れ易いならば「この来場者は漏れ易い」ということは間違っているということはない fact12: もし仮にこの真心は認識でないしかつそつ無くないとしたらそれは湧き上る fact13: もしもこの真心が湧き上るとするとこの速成は漏れ易い
fact8 & fact6 -> hypothesis;
fact8 & fact6 -> hypothesis;
「あの整理法は許諾しないがしかし厳つい」ということは成り立たない
fact20 -> int1: もし「あの黒鍔は国際振り替え価格でない」ということは本当ならばそれは再来時でなくてまた打ち振らない; fact16 -> int2: 仮にこの来場者はバウンドするししかも漏れ易いとするとそれは違くない; fact17 -> int3: この来場者はバウンドする;
$facts$ = fact1: もし仮になんらかのものが国際振り替え価格でないとしたら再来時でないしさらに打ち振らない fact2: あの弱点は許諾しない fact3: もしもあの上谷地は委託会社だとすると「あの整理法は許諾しないが厳つい」ということは事実と異なる fact4: もし仮にその栄螺堂が委託会社でなくて認知出来ないならあの上谷地は委託会社である fact5: もしこの来場者は違くないとしたら「あの黒鍔は国際振り替え価格でないしさらにそれは金銭でない」ということは本当である fact6: あの整理法は厳つい fact7: この来場者はバウンドするしおまけに見する fact8: あの整理法は許諾しない fact9: 仮に「何かはバウンドするしおまけにそれは漏れ易い」ということは真実なら違くない fact10: もし仮にあの黒鍔が再来時でないならばその栄螺堂は委託会社でなくて加えて認知出来るということはない fact11: この速成は漏れ易いならば「この来場者は漏れ易い」ということは間違っているということはない fact12: もし仮にこの真心は認識でないしかつそつ無くないとしたらそれは湧き上る fact13: もしもこの真心が湧き上るとするとこの速成は漏れ易い ; $hypothesis$ = 「あの整理法は許諾しない一方で厳つい」ということは間違いだ ; $proof$ = 
fact8 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものが国際振り替え価格でないとしたら再来時でないしさらに打ち振らない
事実2: あの弱点は許諾しない
事実3: もしもあの上谷地は委託会社だとすると「あの整理法は許諾しないが厳つい」ということは事実と異なる
事実4: もし仮にその栄螺堂が委託会社でなくて認知出来ないならあの上谷地は委託会社である
事実5: もしこの来場者は違くないとしたら「あの黒鍔は国際振り替え価格でないしさらにそれは金銭でない」ということは本当である
事実6: あの整理法は厳つい
事実7: この来場者はバウンドするしおまけに見する
事実8: あの整理法は許諾しない
事実9: 仮に「何かはバウンドするしおまけにそれは漏れ易い」ということは真実なら違くない
事実10: もし仮にあの黒鍔が再来時でないならばその栄螺堂は委託会社でなくて加えて認知出来るということはない
事実11: この速成は漏れ易いならば「この来場者は漏れ易い」ということは間違っているということはない
事実12: もし仮にこの真心は認識でないしかつそつ無くないとしたらそれは湧き上る
事実13: もしもこの真心が湧き上るとするとこの速成は漏れ易い

仮説: 「あの整理法は許諾しない一方で厳つい」ということは間違いだ
1. 事実8と事実6から、仮説が否定される

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