この挙銃は当て付ける
fact1: 仮にこの挙銃が聞こえ難くないとすればそれはオーバーラップしない fact2: もしもなんらかの物がＮＡＳでないならばそれは当て付けるしコンパクトフラッシュである fact3: もし「コンパクトフラッシュでなくてＮＡＳな」ものがあるとしたらこのＶＳＴインストゥルメントは塩茹でする fact4: 「あの無制限潜水艦作戦は腐り易くて削減出来る」ということは事実と異なるとすればそれは振るい続けない fact5: もし仮にこのＶＳＴインストゥルメントが塩茹でするがしかし削減出来ないとしたらこの挙銃は当て付けない fact6: とあるものがコンパクトフラッシュだということはないならばそれは偽るがしかしオーバーラップしない fact7: この挙銃は削減出来る fact8: 「「当て付けるしそれに消化し切れる」ということは真実な」物はある fact9: 仮に「「このＶＳＴインストゥルメントはオーバーラップするしおまけに消化し切れる」ということは事実と異なる」ということは間違っていないとすると「削減出来ない」ということは成り立つ fact10: 「このＶＳＴインストゥルメントはオーバーラップするし消化し切れる」ということは偽だ fact11: なにがしかの物はコンパクトフラッシュでないがしかしＮＡＳだ fact12: 「コンパクトフラッシュだしおまけにＮＡＳな」ものはある fact13: 何かは消化し切れる fact14: この挙銃はコンパクトフラッシュだ fact15: 「削減出来ない」ものはある fact16: 「当て付ける」ものはある fact17: もし仮にそのニュービジネスが出前しないとしたらそれは塩茹でするということはない
fact11 & fact3 -> int1: このＶＳＴインストゥルメントは塩茹でする; fact9 & fact10 -> int2: このＶＳＴインストゥルメントは削減出来ない; int1 & int2 -> int3: このＶＳＴインストゥルメントは塩茹でするけれどそれは削減出来ない; int3 & fact5 -> hypothesis;
この挙銃は当て付ける
fact18 -> int4: 「もしもこの挙銃がＮＡＳでないとするとこの挙銃は当て付けるし更にコンパクトフラッシュだ」ということは確かだ;
$facts$ = fact1: 仮にこの挙銃が聞こえ難くないとすればそれはオーバーラップしない fact2: もしもなんらかの物がＮＡＳでないならばそれは当て付けるしコンパクトフラッシュである fact3: もし「コンパクトフラッシュでなくてＮＡＳな」ものがあるとしたらこのＶＳＴインストゥルメントは塩茹でする fact4: 「あの無制限潜水艦作戦は腐り易くて削減出来る」ということは事実と異なるとすればそれは振るい続けない fact5: もし仮にこのＶＳＴインストゥルメントが塩茹でするがしかし削減出来ないとしたらこの挙銃は当て付けない fact6: とあるものがコンパクトフラッシュだということはないならばそれは偽るがしかしオーバーラップしない fact7: この挙銃は削減出来る fact8: 「「当て付けるしそれに消化し切れる」ということは真実な」物はある fact9: 仮に「「このＶＳＴインストゥルメントはオーバーラップするしおまけに消化し切れる」ということは事実と異なる」ということは間違っていないとすると「削減出来ない」ということは成り立つ fact10: 「このＶＳＴインストゥルメントはオーバーラップするし消化し切れる」ということは偽だ fact11: なにがしかの物はコンパクトフラッシュでないがしかしＮＡＳだ fact12: 「コンパクトフラッシュだしおまけにＮＡＳな」ものはある fact13: 何かは消化し切れる fact14: この挙銃はコンパクトフラッシュだ fact15: 「削減出来ない」ものはある fact16: 「当て付ける」ものはある fact17: もし仮にそのニュービジネスが出前しないとしたらそれは塩茹でするということはない ; $hypothesis$ = この挙銃は当て付ける ; $proof$ = 
fact11 & fact3 -> int1: このＶＳＴインストゥルメントは塩茹でする; fact9 & fact10 -> int2: このＶＳＴインストゥルメントは削減出来ない; int1 & int2 -> int3: このＶＳＴインストゥルメントは塩茹でするけれどそれは削減出来ない; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮にこの挙銃が聞こえ難くないとすればそれはオーバーラップしない
事実2: もしもなんらかの物がＮＡＳでないならばそれは当て付けるしコンパクトフラッシュである
事実3: もし「コンパクトフラッシュでなくてＮＡＳな」ものがあるとしたらこのＶＳＴインストゥルメントは塩茹でする
事実4: 「あの無制限潜水艦作戦は腐り易くて削減出来る」ということは事実と異なるとすればそれは振るい続けない
事実5: もし仮にこのＶＳＴインストゥルメントが塩茹でするがしかし削減出来ないとしたらこの挙銃は当て付けない
事実6: とあるものがコンパクトフラッシュだということはないならばそれは偽るがしかしオーバーラップしない
事実7: この挙銃は削減出来る
事実8: 「「当て付けるしそれに消化し切れる」ということは真実な」物はある
事実9: 仮に「「このＶＳＴインストゥルメントはオーバーラップするしおまけに消化し切れる」ということは事実と異なる」ということは間違っていないとすると「削減出来ない」ということは成り立つ
事実10: 「このＶＳＴインストゥルメントはオーバーラップするし消化し切れる」ということは偽だ
事実11: なにがしかの物はコンパクトフラッシュでないがしかしＮＡＳだ
事実12: 「コンパクトフラッシュだしおまけにＮＡＳな」ものはある
事実13: 何かは消化し切れる
事実14: この挙銃はコンパクトフラッシュだ
事実15: 「削減出来ない」ものはある
事実16: 「当て付ける」ものはある
事実17: もし仮にそのニュービジネスが出前しないとしたらそれは塩茹でするということはない

仮説: この挙銃は当て付ける
1. 事実11と事実3から、推論1: "このＶＳＴインストゥルメントは塩茹でする"が導かれる
2. 事実9と事実10から、推論2: "このＶＳＴインストゥルメントは削減出来ない"が導かれる
3. 推論1と推論2から、推論3: "このＶＳＴインストゥルメントは塩茹でするけれどそれは削減出来ない"が導かれる
4. 推論3と事実5から、仮説が否定される

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