あの対潜戦は直腸内体温でない
fact1: 「もし「「精根尽き果てないしそれに考え難いということはない」ということは成り立たない」ものがあればこの悪魔は険しい」ということは誤りでない fact2: もしこの悪魔が険しいとしたらあの対潜戦は直腸内体温だ fact3: あの対潜戦が険しいとすればあの悪魔は直腸内体温だ fact4: 「精根尽き果てる」物があるならこの悪魔は険しい fact5: もし仮にこの悪魔が小狡いということはない一方で直腸内体温ならあの対潜戦は直腸内体温でない fact6: 「「精根尽き果てるということはなくてしかも考え難くない」ということは誤りである」ものはある fact7: 「「精根尽き果てないけれど考え難い」ということは成り立たない」ものはある fact8: 仮にこの悪魔が直腸内体温だとすればあの対潜戦は険しい fact9: あの同盟員は直腸内体温である
fact6 & fact1 -> int1: この悪魔は険しい; int1 & fact2 -> hypothesis;
あの対潜戦は直腸内体温でない
$facts$ = fact1: 「もし「「精根尽き果てないしそれに考え難いということはない」ということは成り立たない」ものがあればこの悪魔は険しい」ということは誤りでない fact2: もしこの悪魔が険しいとしたらあの対潜戦は直腸内体温だ fact3: あの対潜戦が険しいとすればあの悪魔は直腸内体温だ fact4: 「精根尽き果てる」物があるならこの悪魔は険しい fact5: もし仮にこの悪魔が小狡いということはない一方で直腸内体温ならあの対潜戦は直腸内体温でない fact6: 「「精根尽き果てるということはなくてしかも考え難くない」ということは誤りである」ものはある fact7: 「「精根尽き果てないけれど考え難い」ということは成り立たない」ものはある fact8: 仮にこの悪魔が直腸内体温だとすればあの対潜戦は険しい fact9: あの同盟員は直腸内体温である ; $hypothesis$ = あの対潜戦は直腸内体温でない ; $proof$ = 
fact6 & fact1 -> int1: この悪魔は険しい; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「もし「「精根尽き果てないしそれに考え難いということはない」ということは成り立たない」ものがあればこの悪魔は険しい」ということは誤りでない
事実2: もしこの悪魔が険しいとしたらあの対潜戦は直腸内体温だ
事実3: あの対潜戦が険しいとすればあの悪魔は直腸内体温だ
事実4: 「精根尽き果てる」物があるならこの悪魔は険しい
事実5: もし仮にこの悪魔が小狡いということはない一方で直腸内体温ならあの対潜戦は直腸内体温でない
事実6: 「「精根尽き果てるということはなくてしかも考え難くない」ということは誤りである」ものはある
事実7: 「「精根尽き果てないけれど考え難い」ということは成り立たない」ものはある
事実8: 仮にこの悪魔が直腸内体温だとすればあの対潜戦は険しい
事実9: あの同盟員は直腸内体温である

仮説: あの対潜戦は直腸内体温でない
1. 事実6と事実1から、推論1: "この悪魔は険しい"が導かれる
2. 推論1と事実2から、仮説が否定される

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