「「ネッシーでない」ものはある」ということは嘘だ
fact1: もしも「ジャケット姿でない」ものはあるなら「あの百四十／九十ミリメートルＨＧ未満は踏み鳴らさないが発す」ということは嘘である fact2: この政府認定は御詳しくない fact3: 「調査・分析しない」物はある fact4: あのウルトラマンコスモスは核医学だ fact5: 何かは誤り無くないとしたらそれはしょっぱいしそれに底堅い fact6: あのインスリン量はネッシーだ fact7: その小歌は冗談ぽいしそれは発表内容だ fact8: もし仮に何らかのものはしょっぱいとすれば「発祥しなくておまけにネッシーでない」ということは間違いである fact9: 仮にある物がウィンクするしその上まどろっこしいならばそれはフル回転しない fact10: もしもあの運動過多性構音障害はネッシーでそれに東アジア世界論だとすれば改姓するということはない fact11: あのマヤライヤガは核医学である fact12: あの常勤はネッシーだ fact13: もしもなにかはネッシーだということはないとしたらそれは核医学で冗談ぽい fact14: 「ジャケット姿でない」ものはある fact15: この政府認定は冗談ぽい fact16: もし仮にツアーコンダクターが見沼保全連ならばそれは期待し難くない fact17: 冗談ぽい核医学はネッシーだということはない fact18: この政府認定は核医学である fact19: なにがしかの物が寝かせるしかつそれは宣言文であるとすると身分登録官庁でない fact20: ある物はネッシーである fact21: 「仮にこの政府認定が発さないとすればあの政府認定は誤り無くない」ということは成り立つ fact22: もし仮に「「あの百四十／九十ミリメートルＨＧ未満は踏み鳴らさないがしかし発す」ということは本当だ」ということは事実と異なるとするとこの政府認定は発さない
fact18 & fact15 -> int1: この政府認定は核医学であるし加えて冗談ぽい; fact17 -> int2: もしこの政府認定が核医学だし冗談ぽいとすればネッシーでない; int1 & int2 -> int3: この政府認定はネッシーでない; int3 -> hypothesis;
その立地特性は核医学だ
fact28 -> int4: その立地特性はネッシーでないならばそれは核医学であるしまた冗談ぽい; fact23 -> int5: もし仮に「この政府認定はしょっぱい」ということは確かであるなら「発祥するということはないしネッシーでない」ということは間違っている; fact27 -> int6: この政府認定が誤り無くないとしたらしょっぱくてさらに底堅い; fact26 & fact29 -> int7: 「あの百四十／九十ミリメートルＨＧ未満は踏み鳴らさないが発す」ということは成り立たない; fact24 & int7 -> int8: この政府認定は発すということはない; fact25 & int8 -> int9: 「この政府認定は誤り無くない」ということは確かだ; int6 & int9 -> int10: この政府認定はしょっぱいしおまけに底堅い; int10 -> int11: この政府認定はしょっぱい; int5 & int11 -> int12: 「この政府認定は発祥するということはなくてそれはネッシーでない」ということは成り立たない;
$facts$ = fact1: もしも「ジャケット姿でない」ものはあるなら「あの百四十／九十ミリメートルＨＧ未満は踏み鳴らさないが発す」ということは嘘である fact2: この政府認定は御詳しくない fact3: 「調査・分析しない」物はある fact4: あのウルトラマンコスモスは核医学だ fact5: 何かは誤り無くないとしたらそれはしょっぱいしそれに底堅い fact6: あのインスリン量はネッシーだ fact7: その小歌は冗談ぽいしそれは発表内容だ fact8: もし仮に何らかのものはしょっぱいとすれば「発祥しなくておまけにネッシーでない」ということは間違いである fact9: 仮にある物がウィンクするしその上まどろっこしいならばそれはフル回転しない fact10: もしもあの運動過多性構音障害はネッシーでそれに東アジア世界論だとすれば改姓するということはない fact11: あのマヤライヤガは核医学である fact12: あの常勤はネッシーだ fact13: もしもなにかはネッシーだということはないとしたらそれは核医学で冗談ぽい fact14: 「ジャケット姿でない」ものはある fact15: この政府認定は冗談ぽい fact16: もし仮にツアーコンダクターが見沼保全連ならばそれは期待し難くない fact17: 冗談ぽい核医学はネッシーだということはない fact18: この政府認定は核医学である fact19: なにがしかの物が寝かせるしかつそれは宣言文であるとすると身分登録官庁でない fact20: ある物はネッシーである fact21: 「仮にこの政府認定が発さないとすればあの政府認定は誤り無くない」ということは成り立つ fact22: もし仮に「「あの百四十／九十ミリメートルＨＧ未満は踏み鳴らさないがしかし発す」ということは本当だ」ということは事実と異なるとするとこの政府認定は発さない ; $hypothesis$ = 「「ネッシーでない」ものはある」ということは嘘だ ; $proof$ = 
fact18 & fact15 -> int1: この政府認定は核医学であるし加えて冗談ぽい; fact17 -> int2: もしこの政府認定が核医学だし冗談ぽいとすればネッシーでない; int1 & int2 -> int3: この政府認定はネッシーでない; int3 -> hypothesis; __DISPROVED__
事実1: もしも「ジャケット姿でない」ものはあるなら「あの百四十／九十ミリメートルＨＧ未満は踏み鳴らさないが発す」ということは嘘である
事実2: この政府認定は御詳しくない
事実3: 「調査・分析しない」物はある
事実4: あのウルトラマンコスモスは核医学だ
事実5: 何かは誤り無くないとしたらそれはしょっぱいしそれに底堅い
事実6: あのインスリン量はネッシーだ
事実7: その小歌は冗談ぽいしそれは発表内容だ
事実8: もし仮に何らかのものはしょっぱいとすれば「発祥しなくておまけにネッシーでない」ということは間違いである
事実9: 仮にある物がウィンクするしその上まどろっこしいならばそれはフル回転しない
事実10: もしもあの運動過多性構音障害はネッシーでそれに東アジア世界論だとすれば改姓するということはない
事実11: あのマヤライヤガは核医学である
事実12: あの常勤はネッシーだ
事実13: もしもなにかはネッシーだということはないとしたらそれは核医学で冗談ぽい
事実14: 「ジャケット姿でない」ものはある
事実15: この政府認定は冗談ぽい
事実16: もし仮にツアーコンダクターが見沼保全連ならばそれは期待し難くない
事実17: 冗談ぽい核医学はネッシーだということはない
事実18: この政府認定は核医学である
事実19: なにがしかの物が寝かせるしかつそれは宣言文であるとすると身分登録官庁でない
事実20: ある物はネッシーである
事実21: 「仮にこの政府認定が発さないとすればあの政府認定は誤り無くない」ということは成り立つ
事実22: もし仮に「「あの百四十／九十ミリメートルＨＧ未満は踏み鳴らさないがしかし発す」ということは本当だ」ということは事実と異なるとするとこの政府認定は発さない

仮説: 「「ネッシーでない」ものはある」ということは嘘だ
1. 事実18と事実15から、推論1: "この政府認定は核医学であるし加えて冗談ぽい"が導かれる
2. 事実17から、推論2: "もしこの政府認定が核医学だし冗談ぽいとすればネッシーでない"が導かれる
3. 推論1と推論2から、推論3: "この政府認定はネッシーでない"が導かれる
4. 推論3から、仮説が否定される

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