この農民運動はプロフィットセンターでない
fact1: 仮にあの鬼子母神がプロフィットセンターだということはないとしたらこの農民運動はプロフィットセンターでない fact2: あの鬼子母神は亡くならない fact3: もし仮にあの夏強達はヘルプするということはないとすると「この議員達はプロフィットセンターだが亡くならない」ということは嘘だ fact4: 「この議員達は外れるということはない」ということは正しい fact5: もしも「この議員達は彼らしい」ということは本当ならこの農民運動はプロフィットセンターだ fact6: この議員達は亡くならない fact7: もしも「あの鬼子母神は亡くならない」ということは成り立つとすれば「この議員達は清々しい」ということは事実である fact8: この議員達は清々しい fact9: あの鬼子母神が亡くならないとすればこの議員達は清々しくておまけに彼らしい
fact9 & fact2 -> int1: この議員達は清々しいし彼らしい; int1 -> int2: この議員達は彼らしい; int2 & fact5 -> hypothesis;
この農民運動はプロフィットセンターであるということはない
$facts$ = fact1: 仮にあの鬼子母神がプロフィットセンターだということはないとしたらこの農民運動はプロフィットセンターでない fact2: あの鬼子母神は亡くならない fact3: もし仮にあの夏強達はヘルプするということはないとすると「この議員達はプロフィットセンターだが亡くならない」ということは嘘だ fact4: 「この議員達は外れるということはない」ということは正しい fact5: もしも「この議員達は彼らしい」ということは本当ならこの農民運動はプロフィットセンターだ fact6: この議員達は亡くならない fact7: もしも「あの鬼子母神は亡くならない」ということは成り立つとすれば「この議員達は清々しい」ということは事実である fact8: この議員達は清々しい fact9: あの鬼子母神が亡くならないとすればこの議員達は清々しくておまけに彼らしい ; $hypothesis$ = この農民運動はプロフィットセンターでない ; $proof$ = 
fact9 & fact2 -> int1: この議員達は清々しいし彼らしい; int1 -> int2: この議員達は彼らしい; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮にあの鬼子母神がプロフィットセンターだということはないとしたらこの農民運動はプロフィットセンターでない
事実2: あの鬼子母神は亡くならない
事実3: もし仮にあの夏強達はヘルプするということはないとすると「この議員達はプロフィットセンターだが亡くならない」ということは嘘だ
事実4: 「この議員達は外れるということはない」ということは正しい
事実5: もしも「この議員達は彼らしい」ということは本当ならこの農民運動はプロフィットセンターだ
事実6: この議員達は亡くならない
事実7: もしも「あの鬼子母神は亡くならない」ということは成り立つとすれば「この議員達は清々しい」ということは事実である
事実8: この議員達は清々しい
事実9: あの鬼子母神が亡くならないとすればこの議員達は清々しくておまけに彼らしい

仮説: この農民運動はプロフィットセンターでない
1. 事実9と事実2から、推論1: "この議員達は清々しいし彼らしい"が導かれる
2. 推論1から、推論2: "この議員達は彼らしい"が導かれる
3. 推論2と事実5から、仮説が否定される

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