「「もしも「遅い」ということは偽であるとすると蒼白でない」物はある」ということは間違いである
fact1: もし仮にその海上部が感慨深くないがしかしＯＢ臭いとするとあの挙式は軽減出来ない fact2: 「仮に「遅い」ということは成り立つとすれば蒼白であるということはない」ものはある fact3: 「仮に遅くないとしたら蒼白である」ものはある fact4: そのピンクベージュがコークス炉ガスなら遅い fact5: もしあの外国為替市場は蒼白であるとすれば束縛する fact6: もしもあの外国為替市場が遅いとすればそれは蒼白でない fact7: もしもあの外国為替市場は飛び続けるとすると「それは遅い」ということは本当である fact8: もしあの外国為替市場が蒼白ならばそれは遅い fact9: 仮に「あの梶棒は蒼白であるしそれにそれは形成し易い」ということは偽ならばあの外国為替市場は形成し易くない fact10: 「もし延べ人数でないとすれば外堀でない」ものはある fact11: 仮に「なんらかのものは仄白くないしかつ付けしない」ということは偽だとしたらそれはロジャー・フライでない fact12: その海上部は感慨深くないがしかしＯＢ臭い fact13: もしも「「録画しないけど蒼白である」ということは成り立つということはない」物があるとしたらこの赤肉は蒼白であるということはない fact14: 「蒼白でない」ものはあるとすると「あの梶棒は蒼白であるしそれに形成し易い」ということは間違いである fact15: 「あの外国為替市場はジャブでない」ということは真実である fact16: 仮に「その昭和恐慌はＡＯＣワインでない」ということは成り立つなら見境無い fact17: もしなにかは軽減出来ないとしたら「それは仄白くないし付けしない」ということは偽である fact18: もしも何らかのものは遅いなら「録画しないししかも蒼白だ」ということは成り立たない
void -> assump1: 以下のように仮定する。あの外国為替市場は蒼白である; fact8 & assump1 -> int1: あの外国為替市場は遅い; void -> assump2: 以下のように仮定する。あの外国為替市場は遅くない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの外国為替市場は蒼白でない; [assump2] & int3 -> int4: もしもあの外国為替市場が遅くないとすれば蒼白だということはない; int4 -> hypothesis;
あの外国為替市場は形成し易くない
fact22 -> int5: もしもあのそっち退けは遅いなら「録画しないしそれは蒼白だ」ということは偽だ; fact20 -> int6: 「あの挙式は仄白くないし付けするということはない」ということは間違いであるとするとそれはロジャー・フライでない; fact21 -> int7: もしもあの挙式は軽減出来ないとすれば「仄白くないしかつ付けしない」ということは成り立たない; fact25 & fact23 -> int8: 「あの挙式は軽減出来ない」ということは真実である; int7 & int8 -> int9: 「「あの挙式は仄白くないし付けしない」ということは嘘だ」ということは確かである; int6 & int9 -> int10: あの挙式はロジャー・フライでない; int10 -> int11: 「ロジャー・フライでない」物はある;
$facts$ = fact1: もし仮にその海上部が感慨深くないがしかしＯＢ臭いとするとあの挙式は軽減出来ない fact2: 「仮に「遅い」ということは成り立つとすれば蒼白であるということはない」ものはある fact3: 「仮に遅くないとしたら蒼白である」ものはある fact4: そのピンクベージュがコークス炉ガスなら遅い fact5: もしあの外国為替市場は蒼白であるとすれば束縛する fact6: もしもあの外国為替市場が遅いとすればそれは蒼白でない fact7: もしもあの外国為替市場は飛び続けるとすると「それは遅い」ということは本当である fact8: もしあの外国為替市場が蒼白ならばそれは遅い fact9: 仮に「あの梶棒は蒼白であるしそれにそれは形成し易い」ということは偽ならばあの外国為替市場は形成し易くない fact10: 「もし延べ人数でないとすれば外堀でない」ものはある fact11: 仮に「なんらかのものは仄白くないしかつ付けしない」ということは偽だとしたらそれはロジャー・フライでない fact12: その海上部は感慨深くないがしかしＯＢ臭い fact13: もしも「「録画しないけど蒼白である」ということは成り立つということはない」物があるとしたらこの赤肉は蒼白であるということはない fact14: 「蒼白でない」ものはあるとすると「あの梶棒は蒼白であるしそれに形成し易い」ということは間違いである fact15: 「あの外国為替市場はジャブでない」ということは真実である fact16: 仮に「その昭和恐慌はＡＯＣワインでない」ということは成り立つなら見境無い fact17: もしなにかは軽減出来ないとしたら「それは仄白くないし付けしない」ということは偽である fact18: もしも何らかのものは遅いなら「録画しないししかも蒼白だ」ということは成り立たない ; $hypothesis$ = 「「もしも「遅い」ということは偽であるとすると蒼白でない」物はある」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの外国為替市場は蒼白である; fact8 & assump1 -> int1: あの外国為替市場は遅い; void -> assump2: 以下のように仮定する。あの外国為替市場は遅くない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの外国為替市場は蒼白でない; [assump2] & int3 -> int4: もしもあの外国為替市場が遅くないとすれば蒼白だということはない; int4 -> hypothesis; __DISPROVED__
事実1: もし仮にその海上部が感慨深くないがしかしＯＢ臭いとするとあの挙式は軽減出来ない
事実2: 「仮に「遅い」ということは成り立つとすれば蒼白であるということはない」ものはある
事実3: 「仮に遅くないとしたら蒼白である」ものはある
事実4: そのピンクベージュがコークス炉ガスなら遅い
事実5: もしあの外国為替市場は蒼白であるとすれば束縛する
事実6: もしもあの外国為替市場が遅いとすればそれは蒼白でない
事実7: もしもあの外国為替市場は飛び続けるとすると「それは遅い」ということは本当である
事実8: もしあの外国為替市場が蒼白ならばそれは遅い
事実9: 仮に「あの梶棒は蒼白であるしそれにそれは形成し易い」ということは偽ならばあの外国為替市場は形成し易くない
事実10: 「もし延べ人数でないとすれば外堀でない」ものはある
事実11: 仮に「なんらかのものは仄白くないしかつ付けしない」ということは偽だとしたらそれはロジャー・フライでない
事実12: その海上部は感慨深くないがしかしＯＢ臭い
事実13: もしも「「録画しないけど蒼白である」ということは成り立つということはない」物があるとしたらこの赤肉は蒼白であるということはない
事実14: 「蒼白でない」ものはあるとすると「あの梶棒は蒼白であるしそれに形成し易い」ということは間違いである
事実15: 「あの外国為替市場はジャブでない」ということは真実である
事実16: 仮に「その昭和恐慌はＡＯＣワインでない」ということは成り立つなら見境無い
事実17: もしなにかは軽減出来ないとしたら「それは仄白くないし付けしない」ということは偽である
事実18: もしも何らかのものは遅いなら「録画しないししかも蒼白だ」ということは成り立たない

仮説: 「「もしも「遅い」ということは偽であるとすると蒼白でない」物はある」ということは間違いである
1. 仮定1: 以下のように仮定する。あの外国為替市場は蒼白である
2. 事実8と仮定1から、推論1: "あの外国為替市場は遅い"が導かれる
3. 仮定2: 以下のように仮定する。あの外国為替市場は遅くない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの外国為替市場は蒼白でない"が導かれる
6. [仮定2]と推論3から、推論4: "もしもあの外国為替市場が遅くないとすれば蒼白だということはない"が導かれる
7. 推論4から、仮説が否定される

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