「あの怪獣は宛て名面であるということはない」ということは成り立つ
fact1: もしもあのスクラッドが尾側端でないならばその伊勢川崎商人館は尾側端である fact2: 「流れ着かない」ものはある fact3: もし「あの渇愛は置き易くない」ということは真実であるなら「その伊勢川崎商人館は置き易くないしおまけに尾側端だということはない」ということは誤りだ fact4: もしも「「転げ出すけれど宛て名面だということはない」ということは成り立たない」ものがあるとするとあの渇愛は置き易くない fact5: もしあるものが転げ出さないならあの渇愛は置き易くない fact6: あの定員割れは入団するということはない fact7: もしも「「何らかのものは置き易くないしそれに尾側端でない」ということは事実だ」ということは成り立たないとすれば入団する fact8: 「転げ出すしその上宛て名面でない」ものはある fact9: もし仮に「なにがしかのものは広げささなくてまた格好良くない」ということは嘘ならば「それは常連らしい」ということは成り立つ fact10: もしその二十ＤＥＴがフィルター補正値でないかあるいは大差無いかもしくはどちらもであるとするとあのスクラッドは覚束無い fact11: 「とある物が移り易くないしさらにそれは宛て名面でない」ということは嘘であるとすると探知する fact12: もし仮にその伊勢川崎商人館が尾側端ならばあの渇愛は入団する fact13: もしも「なにかは尾側端であるけれど大宮折り返しでない」ということは成り立たないならばそれは尾側端でない fact14: その伊勢川崎商人館は入団するということはない fact15: もし仮に何らかの物は覚束無いとすると「「尾側端であるしまたそれは大宮折り返しでない」ということは事実だ」ということは成り立たない
void -> assump1: 以下のように仮定する。「あの怪獣は転げ出すけれど宛て名面でない」ということは間違いである; assump1 -> int1: 「「「転げ出すし宛て名面でない」ということは成り立つ」ということは間違いな」物はある; int1 & fact4 -> int2: あの渇愛は置き易いということはない; int2 & fact3 -> int3: 「その伊勢川崎商人館は置き易くないし尾側端だということはない」ということは嘘だ; fact7 -> int4: もし仮に「その伊勢川崎商人館は置き易くないしまた尾側端でない」ということは誤りだとしたらそれは入団する; int3 & int4 -> int5: 「その伊勢川崎商人館は入団する」ということは事実である; int5 & fact14 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの怪獣は転げ出すがしかしそれは宛て名面でない; int7 -> hypothesis;
あの怪獣は宛て名面だ
fact18 -> int8: もしも「あのスクラッドは尾側端であるけどそれは大宮折り返しでない」ということは嘘ならば「それは尾側端でない」ということは本当である; fact20 -> int9: もしあのスクラッドは覚束無いならば「それが尾側端だしかつそれは大宮折り返しだということはない」ということは成り立たない;
$facts$ = fact1: もしもあのスクラッドが尾側端でないならばその伊勢川崎商人館は尾側端である fact2: 「流れ着かない」ものはある fact3: もし「あの渇愛は置き易くない」ということは真実であるなら「その伊勢川崎商人館は置き易くないしおまけに尾側端だということはない」ということは誤りだ fact4: もしも「「転げ出すけれど宛て名面だということはない」ということは成り立たない」ものがあるとするとあの渇愛は置き易くない fact5: もしあるものが転げ出さないならあの渇愛は置き易くない fact6: あの定員割れは入団するということはない fact7: もしも「「何らかのものは置き易くないしそれに尾側端でない」ということは事実だ」ということは成り立たないとすれば入団する fact8: 「転げ出すしその上宛て名面でない」ものはある fact9: もし仮に「なにがしかのものは広げささなくてまた格好良くない」ということは嘘ならば「それは常連らしい」ということは成り立つ fact10: もしその二十ＤＥＴがフィルター補正値でないかあるいは大差無いかもしくはどちらもであるとするとあのスクラッドは覚束無い fact11: 「とある物が移り易くないしさらにそれは宛て名面でない」ということは嘘であるとすると探知する fact12: もし仮にその伊勢川崎商人館が尾側端ならばあの渇愛は入団する fact13: もしも「なにかは尾側端であるけれど大宮折り返しでない」ということは成り立たないならばそれは尾側端でない fact14: その伊勢川崎商人館は入団するということはない fact15: もし仮に何らかの物は覚束無いとすると「「尾側端であるしまたそれは大宮折り返しでない」ということは事実だ」ということは成り立たない ; $hypothesis$ = 「あの怪獣は宛て名面であるということはない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの怪獣は転げ出すけれど宛て名面でない」ということは間違いである; assump1 -> int1: 「「「転げ出すし宛て名面でない」ということは成り立つ」ということは間違いな」物はある; int1 & fact4 -> int2: あの渇愛は置き易いということはない; int2 & fact3 -> int3: 「その伊勢川崎商人館は置き易くないし尾側端だということはない」ということは嘘だ; fact7 -> int4: もし仮に「その伊勢川崎商人館は置き易くないしまた尾側端でない」ということは誤りだとしたらそれは入団する; int3 & int4 -> int5: 「その伊勢川崎商人館は入団する」ということは事実である; int5 & fact14 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの怪獣は転げ出すがしかしそれは宛て名面でない; int7 -> hypothesis; __PROVED__
事実1: もしもあのスクラッドが尾側端でないならばその伊勢川崎商人館は尾側端である
事実2: 「流れ着かない」ものはある
事実3: もし「あの渇愛は置き易くない」ということは真実であるなら「その伊勢川崎商人館は置き易くないしおまけに尾側端だということはない」ということは誤りだ
事実4: もしも「「転げ出すけれど宛て名面だということはない」ということは成り立たない」ものがあるとするとあの渇愛は置き易くない
事実5: もしあるものが転げ出さないならあの渇愛は置き易くない
事実6: あの定員割れは入団するということはない
事実7: もしも「「何らかのものは置き易くないしそれに尾側端でない」ということは事実だ」ということは成り立たないとすれば入団する
事実8: 「転げ出すしその上宛て名面でない」ものはある
事実9: もし仮に「なにがしかのものは広げささなくてまた格好良くない」ということは嘘ならば「それは常連らしい」ということは成り立つ
事実10: もしその二十ＤＥＴがフィルター補正値でないかあるいは大差無いかもしくはどちらもであるとするとあのスクラッドは覚束無い
事実11: 「とある物が移り易くないしさらにそれは宛て名面でない」ということは嘘であるとすると探知する
事実12: もし仮にその伊勢川崎商人館が尾側端ならばあの渇愛は入団する
事実13: もしも「なにかは尾側端であるけれど大宮折り返しでない」ということは成り立たないならばそれは尾側端でない
事実14: その伊勢川崎商人館は入団するということはない
事実15: もし仮に何らかの物は覚束無いとすると「「尾側端であるしまたそれは大宮折り返しでない」ということは事実だ」ということは成り立たない

仮説: 「あの怪獣は宛て名面であるということはない」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あの怪獣は転げ出すけれど宛て名面でない」ということは間違いである
2. 仮定1から、推論1: "「「「転げ出すし宛て名面でない」ということは成り立つ」ということは間違いな」物はある"が導かれる
3. 推論1と事実4から、推論2: "あの渇愛は置き易いということはない"が導かれる
4. 推論2と事実3から、推論3: "「その伊勢川崎商人館は置き易くないし尾側端だということはない」ということは嘘だ"が導かれる
5. 事実7から、推論4: "もし仮に「その伊勢川崎商人館は置き易くないしまた尾側端でない」ということは誤りだとしたらそれは入団する"が導かれる
6. 推論3と推論4から、推論5: "「その伊勢川崎商人館は入団する」ということは事実である"が導かれる
7. 推論5と事実14から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの怪獣は転げ出すがしかしそれは宛て名面でない"が導かれる
9. 推論7から、仮説が導かれる

よって、仮説が証明されました。