「なんらかのものは冬眠しないし潜航しない」ということは偽だ
fact1: なんらかの物は撃鉄でないけれど拡散浸透する fact2: もしあの南北戦争以前が傷付けないとしたら改行しなくておまけに築造しない fact3: 仮に「貰えない」ものはあるなら「そのＭＳＩワンは改行するしおまけに潰す」ということは事実と異なる fact4: もし仮にあるものは潰さないとしたら「そのＭＳＩワンは冬眠するしおまけにそれは潜航する」ということは誤りだ fact5: もし「「潰さない」ものはある」ということは真実であるならば「そのＭＳＩワンは冬眠するし六Ｐ受容体だ」ということは嘘だ fact6: 「ドミトリーＲＳでない」物はある fact7: もしも何らかのものは改行しないなら「そのＭＳＩワンは冬眠するしかつ潰す」ということは嘘だ fact8: なにがしかのものは溢る fact9: 「そのＭＳＩワンは預託しない」ということは成り立つ fact10: もし仮にこの明文規定は店内でないとすると改行しない fact11: この自意識は冬眠しない fact12: もしもそのＭＳＩワンは横無振りでないならそれは潰さない fact13: 「冬眠するけど潜航しない」ものはある fact14: 何かは潰さないが潜航する fact15: 「送り続けない」ものはあれば「この惑星は所狭ししそれは貰える」ということは誤っている fact16: そのＭＳＩワンは御若いということはないしまたもがくない fact17: 「貰えない」物はある fact18: 仮に「そのＭＳＩワンは改行するしおまけに潰す」ということは誤っていれば六Ｐ受容体でない fact19: なにかは六Ｐ受容体でないとすればそれは冬眠しないしおまけに潜航しない fact20: 「蹌踉く」ものはある
fact17 & fact3 -> int1: 「そのＭＳＩワンは改行するしそれは潰す」ということは事実と異なる; int1 & fact18 -> int2: そのＭＳＩワンは六Ｐ受容体でない; fact19 -> int3: そのＭＳＩワンが六Ｐ受容体だということはないとしたら冬眠しなくて潜航しない; int2 & int3 -> int4: そのＭＳＩワンは冬眠するということはなくて潜航しない; int4 -> hypothesis;
$facts$ = fact1: なんらかの物は撃鉄でないけれど拡散浸透する fact2: もしあの南北戦争以前が傷付けないとしたら改行しなくておまけに築造しない fact3: 仮に「貰えない」ものはあるなら「そのＭＳＩワンは改行するしおまけに潰す」ということは事実と異なる fact4: もし仮にあるものは潰さないとしたら「そのＭＳＩワンは冬眠するしおまけにそれは潜航する」ということは誤りだ fact5: もし「「潰さない」ものはある」ということは真実であるならば「そのＭＳＩワンは冬眠するし六Ｐ受容体だ」ということは嘘だ fact6: 「ドミトリーＲＳでない」物はある fact7: もしも何らかのものは改行しないなら「そのＭＳＩワンは冬眠するしかつ潰す」ということは嘘だ fact8: なにがしかのものは溢る fact9: 「そのＭＳＩワンは預託しない」ということは成り立つ fact10: もし仮にこの明文規定は店内でないとすると改行しない fact11: この自意識は冬眠しない fact12: もしもそのＭＳＩワンは横無振りでないならそれは潰さない fact13: 「冬眠するけど潜航しない」ものはある fact14: 何かは潰さないが潜航する fact15: 「送り続けない」ものはあれば「この惑星は所狭ししそれは貰える」ということは誤っている fact16: そのＭＳＩワンは御若いということはないしまたもがくない fact17: 「貰えない」物はある fact18: 仮に「そのＭＳＩワンは改行するしおまけに潰す」ということは誤っていれば六Ｐ受容体でない fact19: なにかは六Ｐ受容体でないとすればそれは冬眠しないしおまけに潜航しない fact20: 「蹌踉く」ものはある ; $hypothesis$ = 「なんらかのものは冬眠しないし潜航しない」ということは偽だ ; $proof$ = 
fact17 & fact3 -> int1: 「そのＭＳＩワンは改行するしそれは潰す」ということは事実と異なる; int1 & fact18 -> int2: そのＭＳＩワンは六Ｐ受容体でない; fact19 -> int3: そのＭＳＩワンが六Ｐ受容体だということはないとしたら冬眠しなくて潜航しない; int2 & int3 -> int4: そのＭＳＩワンは冬眠するということはなくて潜航しない; int4 -> hypothesis; __DISPROVED__
事実1: なんらかの物は撃鉄でないけれど拡散浸透する
事実2: もしあの南北戦争以前が傷付けないとしたら改行しなくておまけに築造しない
事実3: 仮に「貰えない」ものはあるなら「そのＭＳＩワンは改行するしおまけに潰す」ということは事実と異なる
事実4: もし仮にあるものは潰さないとしたら「そのＭＳＩワンは冬眠するしおまけにそれは潜航する」ということは誤りだ
事実5: もし「「潰さない」ものはある」ということは真実であるならば「そのＭＳＩワンは冬眠するし六Ｐ受容体だ」ということは嘘だ
事実6: 「ドミトリーＲＳでない」物はある
事実7: もしも何らかのものは改行しないなら「そのＭＳＩワンは冬眠するしかつ潰す」ということは嘘だ
事実8: なにがしかのものは溢る
事実9: 「そのＭＳＩワンは預託しない」ということは成り立つ
事実10: もし仮にこの明文規定は店内でないとすると改行しない
事実11: この自意識は冬眠しない
事実12: もしもそのＭＳＩワンは横無振りでないならそれは潰さない
事実13: 「冬眠するけど潜航しない」ものはある
事実14: 何かは潰さないが潜航する
事実15: 「送り続けない」ものはあれば「この惑星は所狭ししそれは貰える」ということは誤っている
事実16: そのＭＳＩワンは御若いということはないしまたもがくない
事実17: 「貰えない」物はある
事実18: 仮に「そのＭＳＩワンは改行するしおまけに潰す」ということは誤っていれば六Ｐ受容体でない
事実19: なにかは六Ｐ受容体でないとすればそれは冬眠しないしおまけに潜航しない
事実20: 「蹌踉く」ものはある

仮説: 「なんらかのものは冬眠しないし潜航しない」ということは偽だ
1. 事実17と事実3から、推論1: "「そのＭＳＩワンは改行するしそれは潰す」ということは事実と異なる"が導かれる
2. 推論1と事実18から、推論2: "そのＭＳＩワンは六Ｐ受容体でない"が導かれる
3. 事実19から、推論3: "そのＭＳＩワンが六Ｐ受容体だということはないとしたら冬眠しなくて潜航しない"が導かれる
4. 推論2と推論3から、推論4: "そのＭＳＩワンは冬眠するということはなくて潜航しない"が導かれる
5. 推論4から、仮説が否定される

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