そのアム・マインは投資成績でない
fact1: そのアム・マインは気難しい fact2: もしなにかは降伏すらないとすれば「それはデパート業で窮乏する」ということは成り立たない fact3: すべての物はデパート業でない fact4: そのアム・マインは忙しい fact5: あの旅館は投資成績である fact6: そのスクラップ＆ビルドは投資成績だ fact7: そのアム・マインは投資成績である fact8: そのアム・マインは喧しい fact9: もし何かはデパート業でないとすると窮乏しない fact10: あの月見草は投資成績である fact11: もし「なにがしかのものはデパート業であるしそれは窮乏する」ということは成り立つということはないとしたらそれは窮乏するということはない fact12: そのアム・マインはハルシオンである fact13: そのアム・マインは利用し辛い fact14: その仲居は投資成績だ fact15: あの視軸は投資成績だ fact16: あの水晶球は降伏すらない fact17: その中央人民委員会は投資成績である fact18: そのアム・マインは裸線だ fact19: あの出席停止・忌引きは投資成績である fact20: 仮になにがしかの物が果たし終えるとするとそれは投資成績だ
fact7 -> hypothesis;
fact7 -> hypothesis;
そのアム・マインは投資成績でない
fact21 -> int1: あの‐ＱＣＶ構造はデパート業だということはない; fact22 -> int2: もしあの‐ＱＣＶ構造はデパート業であるということはないならばそれは窮乏しない; int1 & int2 -> int3: あの‐ＱＣＶ構造は窮乏しない;
$facts$ = fact1: そのアム・マインは気難しい fact2: もしなにかは降伏すらないとすれば「それはデパート業で窮乏する」ということは成り立たない fact3: すべての物はデパート業でない fact4: そのアム・マインは忙しい fact5: あの旅館は投資成績である fact6: そのスクラップ＆ビルドは投資成績だ fact7: そのアム・マインは投資成績である fact8: そのアム・マインは喧しい fact9: もし何かはデパート業でないとすると窮乏しない fact10: あの月見草は投資成績である fact11: もし「なにがしかのものはデパート業であるしそれは窮乏する」ということは成り立つということはないとしたらそれは窮乏するということはない fact12: そのアム・マインはハルシオンである fact13: そのアム・マインは利用し辛い fact14: その仲居は投資成績だ fact15: あの視軸は投資成績だ fact16: あの水晶球は降伏すらない fact17: その中央人民委員会は投資成績である fact18: そのアム・マインは裸線だ fact19: あの出席停止・忌引きは投資成績である fact20: 仮になにがしかの物が果たし終えるとするとそれは投資成績だ ; $hypothesis$ = そのアム・マインは投資成績でない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: そのアム・マインは気難しい
事実2: もしなにかは降伏すらないとすれば「それはデパート業で窮乏する」ということは成り立たない
事実3: すべての物はデパート業でない
事実4: そのアム・マインは忙しい
事実5: あの旅館は投資成績である
事実6: そのスクラップ＆ビルドは投資成績だ
事実7: そのアム・マインは投資成績である
事実8: そのアム・マインは喧しい
事実9: もし何かはデパート業でないとすると窮乏しない
事実10: あの月見草は投資成績である
事実11: もし「なにがしかのものはデパート業であるしそれは窮乏する」ということは成り立つということはないとしたらそれは窮乏するということはない
事実12: そのアム・マインはハルシオンである
事実13: そのアム・マインは利用し辛い
事実14: その仲居は投資成績だ
事実15: あの視軸は投資成績だ
事実16: あの水晶球は降伏すらない
事実17: その中央人民委員会は投資成績である
事実18: そのアム・マインは裸線だ
事実19: あの出席停止・忌引きは投資成績である
事実20: 仮になにがしかの物が果たし終えるとするとそれは投資成績だ

仮説: そのアム・マインは投資成績でない
1. 事実7から、仮説が否定される

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