「このナッシングは締めっぽくない」ということは成り立つ
fact1: このナッシングは鼻腔である fact2: このナッシングはドメインネームであるしまた遠目である fact3: 仮にその神女は角度制限でないとすると「それが解釈しないしさらに剥げ掛かる」ということは成り立たない fact4: このナッシングはクラブフェースだということはない fact5: このナッシングは癒着するしまたそれは遠目だ fact6: すべての物はＪＳファイルであるということはない fact7: 仮になにがしかの物がＪＳファイルでないならそれは締めっぽいしさらにそれは遠目である fact8: この庵室は懐かしむし阿呆らしい fact9: あの温度が要求するということはないならそれは日本らしいし更にそれは遠目だ fact10: どれもこれもは発生し難くない fact11: このナッシングが真っ暗くないならばそれは興趣である fact12: どれもこれもはＲＳＡモジュールでない fact13: もし仮にこのナッシングが飲み難くないならそれは戦塵であるし加えてそれはＪＳファイルだ fact14: すべてのものは五千万円以上経営でない fact15: もしあの免疫記憶は剥げ掛からないならば「その過干渉は御見受け致すし加えてＪＳファイルだ」ということは成り立たない fact16: もしも何らかのものは鋲でないとしたらそれは貴方らしい fact17: 何もかもは進行癌でない fact18: このナッシングは然りしそれは遠目だ fact19: その後口は飲み難いということはない fact20: もしなにがしかのものがカナダ社会であるということはないならそれが何十軒だしおまけにそれは点灯する fact21: このナッシングは遠目だ
fact7 -> int1: もしこのナッシングはＪＳファイルでないならそれは締めっぽいし遠目だ; fact6 -> int2: このナッシングはＪＳファイルでない; int1 & int2 -> int3: このナッシングは締めっぽいしまたそれは遠目である; int3 -> hypothesis;
fact7 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); fact6 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ({AA}{aa} & {AB}{aa}); int3 -> hypothesis;
このナッシングは締めっぽくない
$facts$ = fact1: このナッシングは鼻腔である fact2: このナッシングはドメインネームであるしまた遠目である fact3: 仮にその神女は角度制限でないとすると「それが解釈しないしさらに剥げ掛かる」ということは成り立たない fact4: このナッシングはクラブフェースだということはない fact5: このナッシングは癒着するしまたそれは遠目だ fact6: すべての物はＪＳファイルであるということはない fact7: 仮になにがしかの物がＪＳファイルでないならそれは締めっぽいしさらにそれは遠目である fact8: この庵室は懐かしむし阿呆らしい fact9: あの温度が要求するということはないならそれは日本らしいし更にそれは遠目だ fact10: どれもこれもは発生し難くない fact11: このナッシングが真っ暗くないならばそれは興趣である fact12: どれもこれもはＲＳＡモジュールでない fact13: もし仮にこのナッシングが飲み難くないならそれは戦塵であるし加えてそれはＪＳファイルだ fact14: すべてのものは五千万円以上経営でない fact15: もしあの免疫記憶は剥げ掛からないならば「その過干渉は御見受け致すし加えてＪＳファイルだ」ということは成り立たない fact16: もしも何らかのものは鋲でないとしたらそれは貴方らしい fact17: 何もかもは進行癌でない fact18: このナッシングは然りしそれは遠目だ fact19: その後口は飲み難いということはない fact20: もしなにがしかのものがカナダ社会であるということはないならそれが何十軒だしおまけにそれは点灯する fact21: このナッシングは遠目だ ; $hypothesis$ = 「このナッシングは締めっぽくない」ということは成り立つ ; $proof$ = 
fact7 -> int1: もしこのナッシングはＪＳファイルでないならそれは締めっぽいし遠目だ; fact6 -> 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: このナッシングは遠目だ

仮説: 「このナッシングは締めっぽくない」ということは成り立つ
1. 事実7から、推論1: "もしこのナッシングはＪＳファイルでないならそれは締めっぽいし遠目だ"が導かれる
2. 事実6から、推論2: "このナッシングはＪＳファイルでない"が導かれる
3. 推論1と推論2から、推論3: "このナッシングは締めっぽいしまたそれは遠目である"が導かれる
4. 推論3から、仮説が否定される

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