このバターソースは監護・養育しない
fact1: もし「あの通航は尊重し合わない」ということは確かであるならたくし上げない fact2: もし仮に「このディレクトリ型は十五パーセント以上だ」ということは確かなら御存じ無い fact3: このダイヤモンド島は伸ばし易い一方でシバ神であるということはない fact4: もしも「このダイヤモンド島は赤っぽいがしかし素晴らしくない」ということは嘘であるならそれは樅ぼっくりでない fact5: もし何らかの物は伸ばし易いならば「それが赤っぽいしその上それは素晴らしくない」ということは間違いである fact6: なにがしかのものは投影するかもしくは尊重し合うかまたはどちらもである fact7: もしも「このディレクトリ型は十五パーセント以上であるということはないししかもたくし上げない」ということは確かでないとしたら御存じ無い fact8: 「投影しないかまたは尊重し合うか両方ともな」物があるとしたらこの大会社・見なし大会社は険しかない fact9: もしもこの大会社・見なし大会社が投影しないならばあの通航は尊重し合うしまた監護・養育する fact10: もし仮にある物は十五パーセント以上でないとすれば「たくし上げないけれど険しい」ということは成り立つということはない fact11: もしこのバターソースは素晴らしいとすると「監護・養育する」ということは成り立つ fact12: あの通航は投影するかあるいは尊重し合うかあるいは両方だ fact13: あの通航はたくし上げないなら「このディレクトリ型は十五パーセント以上だがたくし上げない」ということは事実と異なる fact14: あの通航が尊重し合うしそれが監護・養育するとすればこのバターソースは監護・養育しない fact15: 「このディレクトリ型は十五パーセント以上だけれどたくし上げない」ということは本当でない fact16: もし仮にあの通航はたくし上げないならば「このディレクトリ型は十五パーセント以上でないしその上たくし上げない」ということは嘘である fact17: もし「何かは樅ぼっくりであるし御存じ無い」ということは事実と異なるとすれば「御存じ無い」ということは嘘だ fact18: もしもこのディレクトリ型が御存じ無いならこのバターソースは素晴らしい fact19: 仮にあるものが投影するということはないとするとこの大会社・見なし大会社は険しかない fact20: この夜食は素晴らしい fact21: 「この大会社・見なし大会社は険しい」ということは正しい fact22: 仮にこのディレクトリ型が御存じ無くないならこの大会社・見なし大会社は十五パーセント以上でない
void -> assump1: 以下のように仮定する。あの通航は尊重し合う; assump1 -> int1: あの通航は投影するということはないかもしくは尊重し合う; int1 -> int2: 何かは投影しないかまたはそれは尊重し合う; int2 & fact8 -> int3: この大会社・見なし大会社は険しかない; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの通航は尊重し合わない; int5 & fact1 -> int6: あの通航はたくし上げない; int6 & fact16 -> int7: 「このディレクトリ型は十五パーセント以上でなくてしかもたくし上げない」ということは誤っている; int7 & fact7 -> int8: このディレクトリ型は御存じ無い; int8 & fact18 -> int9: このバターソースは素晴らしい; int9 & fact11 -> hypothesis;
このバターソースは監護・養育しない
fact29 -> int10: この大会社・見なし大会社は十五パーセント以上でないならば「たくし上げるということはないしそれに険しい」ということは間違っている; fact23 -> int11: もし「このディレクトリ型は樅ぼっくりであるしその上それは御存じ無い」ということは事実と異なるとしたら御存じ無くない; fact27 -> int12: もしこのダイヤモンド島は伸ばし易いならば「それが赤っぽいしその上素晴らしくない」ということは偽である; fact28 -> int13: このダイヤモンド島は伸ばし易い; int12 & int13 -> int14: 「このダイヤモンド島は赤っぽい一方で素晴らしいということはない」ということは間違っている; fact26 & int14 -> int15: このダイヤモンド島は樅ぼっくりでない; int15 -> int16: 「樅ぼっくりでない」ものはある;
$facts$ = fact1: もし「あの通航は尊重し合わない」ということは確かであるならたくし上げない fact2: もし仮に「このディレクトリ型は十五パーセント以上だ」ということは確かなら御存じ無い fact3: このダイヤモンド島は伸ばし易い一方でシバ神であるということはない fact4: もしも「このダイヤモンド島は赤っぽいがしかし素晴らしくない」ということは嘘であるならそれは樅ぼっくりでない fact5: もし何らかの物は伸ばし易いならば「それが赤っぽいしその上それは素晴らしくない」ということは間違いである fact6: なにがしかのものは投影するかもしくは尊重し合うかまたはどちらもである fact7: もしも「このディレクトリ型は十五パーセント以上であるということはないししかもたくし上げない」ということは確かでないとしたら御存じ無い fact8: 「投影しないかまたは尊重し合うか両方ともな」物があるとしたらこの大会社・見なし大会社は険しかない fact9: もしもこの大会社・見なし大会社が投影しないならばあの通航は尊重し合うしまた監護・養育する fact10: もし仮にある物は十五パーセント以上でないとすれば「たくし上げないけれど険しい」ということは成り立つということはない fact11: もしこのバターソースは素晴らしいとすると「監護・養育する」ということは成り立つ fact12: あの通航は投影するかあるいは尊重し合うかあるいは両方だ fact13: あの通航はたくし上げないなら「このディレクトリ型は十五パーセント以上だがたくし上げない」ということは事実と異なる fact14: あの通航が尊重し合うしそれが監護・養育するとすればこのバターソースは監護・養育しない fact15: 「このディレクトリ型は十五パーセント以上だけれどたくし上げない」ということは本当でない fact16: もし仮にあの通航はたくし上げないならば「このディレクトリ型は十五パーセント以上でないしその上たくし上げない」ということは嘘である fact17: もし「何かは樅ぼっくりであるし御存じ無い」ということは事実と異なるとすれば「御存じ無い」ということは嘘だ fact18: もしもこのディレクトリ型が御存じ無いならこのバターソースは素晴らしい fact19: 仮にあるものが投影するということはないとするとこの大会社・見なし大会社は険しかない fact20: この夜食は素晴らしい fact21: 「この大会社・見なし大会社は険しい」ということは正しい fact22: 仮にこのディレクトリ型が御存じ無くないならこの大会社・見なし大会社は十五パーセント以上でない ; $hypothesis$ = このバターソースは監護・養育しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの通航は尊重し合う; assump1 -> int1: あの通航は投影するということはないかもしくは尊重し合う; int1 -> int2: 何かは投影しないかまたはそれは尊重し合う; int2 & fact8 -> int3: この大会社・見なし大会社は険しかない; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの通航は尊重し合わない; int5 & fact1 -> int6: あの通航はたくし上げない; int6 & fact16 -> int7: 「このディレクトリ型は十五パーセント以上でなくてしかもたくし上げない」ということは誤っている; int7 & fact7 -> int8: このディレクトリ型は御存じ無い; int8 & fact18 -> int9: このバターソースは素晴らしい; int9 & fact11 -> hypothesis; __DISPROVED__
事実1: もし「あの通航は尊重し合わない」ということは確かであるならたくし上げない
事実2: もし仮に「このディレクトリ型は十五パーセント以上だ」ということは確かなら御存じ無い
事実3: このダイヤモンド島は伸ばし易い一方でシバ神であるということはない
事実4: もしも「このダイヤモンド島は赤っぽいがしかし素晴らしくない」ということは嘘であるならそれは樅ぼっくりでない
事実5: もし何らかの物は伸ばし易いならば「それが赤っぽいしその上それは素晴らしくない」ということは間違いである
事実6: なにがしかのものは投影するかもしくは尊重し合うかまたはどちらもである
事実7: もしも「このディレクトリ型は十五パーセント以上であるということはないししかもたくし上げない」ということは確かでないとしたら御存じ無い
事実8: 「投影しないかまたは尊重し合うか両方ともな」物があるとしたらこの大会社・見なし大会社は険しかない
事実9: もしもこの大会社・見なし大会社が投影しないならばあの通航は尊重し合うしまた監護・養育する
事実10: もし仮にある物は十五パーセント以上でないとすれば「たくし上げないけれど険しい」ということは成り立つということはない
事実11: もしこのバターソースは素晴らしいとすると「監護・養育する」ということは成り立つ
事実12: あの通航は投影するかあるいは尊重し合うかあるいは両方だ
事実13: あの通航はたくし上げないなら「このディレクトリ型は十五パーセント以上だがたくし上げない」ということは事実と異なる
事実14: あの通航が尊重し合うしそれが監護・養育するとすればこのバターソースは監護・養育しない
事実15: 「このディレクトリ型は十五パーセント以上だけれどたくし上げない」ということは本当でない
事実16: もし仮にあの通航はたくし上げないならば「このディレクトリ型は十五パーセント以上でないしその上たくし上げない」ということは嘘である
事実17: もし「何かは樅ぼっくりであるし御存じ無い」ということは事実と異なるとすれば「御存じ無い」ということは嘘だ
事実18: もしもこのディレクトリ型が御存じ無いならこのバターソースは素晴らしい
事実19: 仮にあるものが投影するということはないとするとこの大会社・見なし大会社は険しかない
事実20: この夜食は素晴らしい
事実21: 「この大会社・見なし大会社は険しい」ということは正しい
事実22: 仮にこのディレクトリ型が御存じ無くないならこの大会社・見なし大会社は十五パーセント以上でない

仮説: このバターソースは監護・養育しない
1. 仮定1: 以下のように仮定する。あの通航は尊重し合う
2. 仮定1から、推論1: "あの通航は投影するということはないかもしくは尊重し合う"が導かれる
3. 推論1から、推論2: "何かは投影しないかまたはそれは尊重し合う"が導かれる
4. 推論2と事実8から、推論3: "この大会社・見なし大会社は険しかない"が導かれる
5. 推論3と事実21から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの通航は尊重し合わない"が導かれる
7. 推論5と事実1から、推論6: "あの通航はたくし上げない"が導かれる
8. 推論6と事実16から、推論7: "「このディレクトリ型は十五パーセント以上でなくてしかもたくし上げない」ということは誤っている"が導かれる
9. 推論7と事実7から、推論8: "このディレクトリ型は御存じ無い"が導かれる
10. 推論8と事実18から、推論9: "このバターソースは素晴らしい"が導かれる
11. 推論9と事実11から、仮説が否定される

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