その改良体は自己言及する
fact1: 何らかの物が襟刳り見返しでないならばそれは列記するしそれは自己言及する fact2: 仮にあの歩測が駆け込めば襟刳り見返しでないしその上それは全額支給するということはない fact3: もしも「あの買い物袋は同規模でないかあるいはそれは調べる」ということは誤っていればあの歩測は駆け込む fact4: もし仮にこの上昇相場は同規模でないとすれば「あの上限無しは調べないがしかし同規模である」ということは本当でない fact5: もしもあの買い物袋が隠居しないかもしくはそれは熱し易くないならば追跡調査する fact6: 仮に「この上昇相場は調べるけど同規模だということはない」ということは誤りであるなら駆け込まない fact7: 「なにがしかのものは列記しない」ということは成り立つとすれば程無いしその上晴れはましい fact8: もしもあの歩測が列記するとしたらあの買い物袋は襟刳り見返しだ fact9: 仮になんらかのものは襟刳り見返しであるなら「全額支給する」ということは真実である fact10: 仮にあの買い物袋が全額支給するししかも駆け込むならこの上昇相場は同規模でない fact11: あの門扉は列記する fact12: 「あの上限無しは調べないけれど同規模である」ということは成り立たないとすればあの改良体は自己言及するということはない fact13: あの買い物袋は隠居しないかもしくは熱し易くないか両方ともである fact14: あの歩測が襟刳り見返しでないし更に全額支給しないとしたらその改良体は襟刳り見返しでない fact15: あの歩測は列記する fact16: 「この上昇相場は調べるけれど同規模でない」ということは事実と異なる fact17: もしもなんらかのものが追跡調査すればそれは駆け込む
fact8 & fact15 -> int1: あの買い物袋は襟刳り見返しである; fact9 -> int2: 仮にあの買い物袋が襟刳り見返しだとすると全額支給する; int1 & int2 -> int3: あの買い物袋は全額支給する; fact17 -> int4: もし「あの買い物袋は追跡調査する」ということは本当だとすると駆け込む; fact5 & fact13 -> int5: あの買い物袋は追跡調査する; int4 & int5 -> int6: あの買い物袋は駆け込む; int3 & int6 -> int7: あの買い物袋は全額支給するしさらに駆け込む; int7 & fact10 -> int8: この上昇相場は同規模でない; int8 & fact4 -> int9: 「あの上限無しは調べない一方で同規模だ」ということは間違いである; int9 & fact12 -> hypothesis;
その改良体は自己言及する
fact20 -> int10: その改良体は襟刳り見返しでないとするとそれは列記するし自己言及する;
$facts$ = fact1: 何らかの物が襟刳り見返しでないならばそれは列記するしそれは自己言及する fact2: 仮にあの歩測が駆け込めば襟刳り見返しでないしその上それは全額支給するということはない fact3: もしも「あの買い物袋は同規模でないかあるいはそれは調べる」ということは誤っていればあの歩測は駆け込む fact4: もし仮にこの上昇相場は同規模でないとすれば「あの上限無しは調べないがしかし同規模である」ということは本当でない fact5: もしもあの買い物袋が隠居しないかもしくはそれは熱し易くないならば追跡調査する fact6: 仮に「この上昇相場は調べるけど同規模だということはない」ということは誤りであるなら駆け込まない fact7: 「なにがしかのものは列記しない」ということは成り立つとすれば程無いしその上晴れはましい fact8: もしもあの歩測が列記するとしたらあの買い物袋は襟刳り見返しだ fact9: 仮になんらかのものは襟刳り見返しであるなら「全額支給する」ということは真実である fact10: 仮にあの買い物袋が全額支給するししかも駆け込むならこの上昇相場は同規模でない fact11: あの門扉は列記する fact12: 「あの上限無しは調べないけれど同規模である」ということは成り立たないとすればあの改良体は自己言及するということはない fact13: あの買い物袋は隠居しないかもしくは熱し易くないか両方ともである fact14: あの歩測が襟刳り見返しでないし更に全額支給しないとしたらその改良体は襟刳り見返しでない fact15: あの歩測は列記する fact16: 「この上昇相場は調べるけれど同規模でない」ということは事実と異なる fact17: もしもなんらかのものが追跡調査すればそれは駆け込む ; $hypothesis$ = その改良体は自己言及する ; $proof$ = 
fact8 & fact15 -> int1: あの買い物袋は襟刳り見返しである; fact9 -> int2: 仮にあの買い物袋が襟刳り見返しだとすると全額支給する; int1 & int2 -> int3: あの買い物袋は全額支給する; fact17 -> int4: もし「あの買い物袋は追跡調査する」ということは本当だとすると駆け込む; fact5 & fact13 -> int5: あの買い物袋は追跡調査する; int4 & int5 -> int6: あの買い物袋は駆け込む; int3 & int6 -> int7: あの買い物袋は全額支給するしさらに駆け込む; int7 & fact10 -> int8: この上昇相場は同規模でない; int8 & fact4 -> int9: 「あの上限無しは調べない一方で同規模だ」ということは間違いである; int9 & fact12 -> hypothesis; __DISPROVED__
事実1: 何らかの物が襟刳り見返しでないならばそれは列記するしそれは自己言及する
事実2: 仮にあの歩測が駆け込めば襟刳り見返しでないしその上それは全額支給するということはない
事実3: もしも「あの買い物袋は同規模でないかあるいはそれは調べる」ということは誤っていればあの歩測は駆け込む
事実4: もし仮にこの上昇相場は同規模でないとすれば「あの上限無しは調べないがしかし同規模である」ということは本当でない
事実5: もしもあの買い物袋が隠居しないかもしくはそれは熱し易くないならば追跡調査する
事実6: 仮に「この上昇相場は調べるけど同規模だということはない」ということは誤りであるなら駆け込まない
事実7: 「なにがしかのものは列記しない」ということは成り立つとすれば程無いしその上晴れはましい
事実8: もしもあの歩測が列記するとしたらあの買い物袋は襟刳り見返しだ
事実9: 仮になんらかのものは襟刳り見返しであるなら「全額支給する」ということは真実である
事実10: 仮にあの買い物袋が全額支給するししかも駆け込むならこの上昇相場は同規模でない
事実11: あの門扉は列記する
事実12: 「あの上限無しは調べないけれど同規模である」ということは成り立たないとすればあの改良体は自己言及するということはない
事実13: あの買い物袋は隠居しないかもしくは熱し易くないか両方ともである
事実14: あの歩測が襟刳り見返しでないし更に全額支給しないとしたらその改良体は襟刳り見返しでない
事実15: あの歩測は列記する
事実16: 「この上昇相場は調べるけれど同規模でない」ということは事実と異なる
事実17: もしもなんらかのものが追跡調査すればそれは駆け込む

仮説: その改良体は自己言及する
1. 事実8と事実15から、推論1: "あの買い物袋は襟刳り見返しである"が導かれる
2. 事実9から、推論2: "仮にあの買い物袋が襟刳り見返しだとすると全額支給する"が導かれる
3. 推論1と推論2から、推論3: "あの買い物袋は全額支給する"が導かれる
4. 事実17から、推論4: "もし「あの買い物袋は追跡調査する」ということは本当だとすると駆け込む"が導かれる
5. 事実5と事実13から、推論5: "あの買い物袋は追跡調査する"が導かれる
6. 推論4と推論5から、推論6: "あの買い物袋は駆け込む"が導かれる
7. 推論3と推論6から、推論7: "あの買い物袋は全額支給するしさらに駆け込む"が導かれる
8. 推論7と事実10から、推論8: "この上昇相場は同規模でない"が導かれる
9. 推論8と事実4から、推論9: "「あの上限無しは調べない一方で同規模だ」ということは間違いである"が導かれる
10. 推論9と事実12から、仮説が否定される

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