そのシャドーは空く終わる
fact1: もしそのシャドーが悲しないかそれが浮き出すか両方ともであるとするとあのＲＣＣは塗布する fact2: 丸くない物があればあのＲＣＣは批判理論でない fact3: もし仮に何らかのものが巡視しないとすれば電気ストーブでリアフロアだということはない fact4: 「もしもなんらかのものは批判理論だということはないとしたら「あの香典返しは空く終わらない」ということは真実だ」ということは事実だ fact5: 「丸くない」ものはある fact6: この試着室は判断出来ない fact7: 仮に「この払いはコンバーチブルである一方でそれは目論見だということはない」ということは成り立たないならばそのシャドーは空く終わらない fact8: もし仮にあのＲＣＣが塗布するとすればこの払いは丸くないしそれは批判理論でない fact9: あのＲＣＣは電気ストーブだ fact10: もしも「あのＲＣＣはリアフロアだし巡視する」ということは成り立たないなら「それは電気ストーブでない」ということは事実だ fact11: もしもとあるものが空く終わらないとすればそれは巡視するということはない fact12: この払いがコンバーチブルだけど目論見であるということはないとすると「リアフロアでない」ということは確かである fact13: この払いは電気ストーブでない fact14: もしこの試着室が判断出来ないとすればそのシャドーは悲しということはない fact15: もしこの払いはリアフロアでないとしたら「あのＲＣＣはリアフロアでその上巡視する」ということは偽だ fact16: そのシャドーは豆科でない fact17: もし仮に「この払いは巡視するしそれに批判理論だ」ということは成り立たないなら「そのシャドーは巡視しない」ということは成り立つ fact18: もし仮になにかは巡視するということはないならリアフロアであるということはないかもしくは電気ストーブでないかあるいは両方ともである
void -> assump1: 以下のように仮定する。この払いはコンバーチブルである一方で目論見でない; fact12 & assump1 -> int1: この払いはリアフロアでない; int1 & fact15 -> int2: 「あのＲＣＣがリアフロアだしそれは巡視する」ということは間違いだ; int2 & fact10 -> int3: あのＲＣＣは電気ストーブでない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この払いはコンバーチブルだ一方で目論見であるということはない」ということは本当でない; int5 & fact7 -> hypothesis;
あの香典返しはリアフロアであるということはない
fact25 -> int6: もしあの香典返しが巡視しないとすると電気ストーブであるけどリアフロアであるということはない; fact19 -> int7: もしもあの香典返しが空く終わらないならばそれは巡視するということはない; fact24 & fact20 -> int8: そのシャドーは悲しない; int8 -> int9: 「そのシャドーは悲しということはないかまたは浮き出すかまたは両方ともである」ということは成り立つ; fact21 & int9 -> int10: あのＲＣＣは塗布する; fact23 & int10 -> int11: 「この払いは丸くないしおまけに批判理論でない」ということは事実である; int11 -> int12: この払いは批判理論でない; int12 -> int13: 「「批判理論だということはない」ということは事実である」物はある; int13 & fact22 -> int14: あの香典返しは空く終わらない; int7 & int14 -> int15: あの香典返しは巡視しない; int6 & int15 -> int16: あの香典返しは電気ストーブであるけれどそれはリアフロアでない; int16 -> hypothesis;
$facts$ = fact1: もしそのシャドーが悲しないかそれが浮き出すか両方ともであるとするとあのＲＣＣは塗布する fact2: 丸くない物があればあのＲＣＣは批判理論でない fact3: もし仮に何らかのものが巡視しないとすれば電気ストーブでリアフロアだということはない fact4: 「もしもなんらかのものは批判理論だということはないとしたら「あの香典返しは空く終わらない」ということは真実だ」ということは事実だ fact5: 「丸くない」ものはある fact6: この試着室は判断出来ない fact7: 仮に「この払いはコンバーチブルである一方でそれは目論見だということはない」ということは成り立たないならばそのシャドーは空く終わらない fact8: もし仮にあのＲＣＣが塗布するとすればこの払いは丸くないしそれは批判理論でない fact9: あのＲＣＣは電気ストーブだ fact10: もしも「あのＲＣＣはリアフロアだし巡視する」ということは成り立たないなら「それは電気ストーブでない」ということは事実だ fact11: もしもとあるものが空く終わらないとすればそれは巡視するということはない fact12: この払いがコンバーチブルだけど目論見であるということはないとすると「リアフロアでない」ということは確かである fact13: この払いは電気ストーブでない fact14: もしこの試着室が判断出来ないとすればそのシャドーは悲しということはない fact15: もしこの払いはリアフロアでないとしたら「あのＲＣＣはリアフロアでその上巡視する」ということは偽だ fact16: そのシャドーは豆科でない fact17: もし仮に「この払いは巡視するしそれに批判理論だ」ということは成り立たないなら「そのシャドーは巡視しない」ということは成り立つ fact18: もし仮になにかは巡視するということはないならリアフロアであるということはないかもしくは電気ストーブでないかあるいは両方ともである ; $hypothesis$ = そのシャドーは空く終わる ; $proof$ = 
void -> assump1: 以下のように仮定する。この払いはコンバーチブルである一方で目論見でない; fact12 & assump1 -> int1: この払いはリアフロアでない; int1 & fact15 -> int2: 「あのＲＣＣがリアフロアだしそれは巡視する」ということは間違いだ; int2 & fact10 -> int3: あのＲＣＣは電気ストーブでない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この払いはコンバーチブルだ一方で目論見であるということはない」ということは本当でない; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: もしそのシャドーが悲しないかそれが浮き出すか両方ともであるとするとあのＲＣＣは塗布する
事実2: 丸くない物があればあのＲＣＣは批判理論でない
事実3: もし仮に何らかのものが巡視しないとすれば電気ストーブでリアフロアだということはない
事実4: 「もしもなんらかのものは批判理論だということはないとしたら「あの香典返しは空く終わらない」ということは真実だ」ということは事実だ
事実5: 「丸くない」ものはある
事実6: この試着室は判断出来ない
事実7: 仮に「この払いはコンバーチブルである一方でそれは目論見だということはない」ということは成り立たないならばそのシャドーは空く終わらない
事実8: もし仮にあのＲＣＣが塗布するとすればこの払いは丸くないしそれは批判理論でない
事実9: あのＲＣＣは電気ストーブだ
事実10: もしも「あのＲＣＣはリアフロアだし巡視する」ということは成り立たないなら「それは電気ストーブでない」ということは事実だ
事実11: もしもとあるものが空く終わらないとすればそれは巡視するということはない
事実12: この払いがコンバーチブルだけど目論見であるということはないとすると「リアフロアでない」ということは確かである
事実13: この払いは電気ストーブでない
事実14: もしこの試着室が判断出来ないとすればそのシャドーは悲しということはない
事実15: もしこの払いはリアフロアでないとしたら「あのＲＣＣはリアフロアでその上巡視する」ということは偽だ
事実16: そのシャドーは豆科でない
事実17: もし仮に「この払いは巡視するしそれに批判理論だ」ということは成り立たないなら「そのシャドーは巡視しない」ということは成り立つ
事実18: もし仮になにかは巡視するということはないならリアフロアであるということはないかもしくは電気ストーブでないかあるいは両方ともである

仮説: そのシャドーは空く終わる
1. 仮定1: 以下のように仮定する。この払いはコンバーチブルである一方で目論見でない
2. 事実12と仮定1から、推論1: "この払いはリアフロアでない"が導かれる
3. 推論1と事実15から、推論2: "「あのＲＣＣがリアフロアだしそれは巡視する」ということは間違いだ"が導かれる
4. 推論2と事実10から、推論3: "あのＲＣＣは電気ストーブでない"が導かれる
5. 推論3と事実9から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この払いはコンバーチブルだ一方で目論見であるということはない」ということは本当でない"が導かれる
7. 推論5と事実7から、仮説が否定される

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