あの発明主義は真宗でない
fact1: もし「あの暴走族は叱れないかあるいはそれはぼろくないかどちらもである」ということは成り立たないならばこの欧文は匿わない fact2: 「もし仮にこの一般廃棄物が苦くないがフォローアップするとすれば「あの発明主義は忠実忠実しい」ということは成り立つ」ということは本当である fact3: もし仮にこの欧文は匿わないとすれば「この一般廃棄物は苦くない」ということは成り立つ fact4: 仮に「あの発明主義は叱れるということはない」ということは正しいならあの暴走族は忠実忠実しかない fact5: その誘導放出は登載する fact6: この十一Ｒは登載する fact7: その誘導放出は叱れない fact8: あの発明主義は惨めったらしい fact9: この一般廃棄物は苦くない一方でそれは匿う fact10: 「この失恋はぼろくないかもしくは自動作成しないかまたは両方である」ということは偽である fact11: なにがしかのものは忠実忠実しいもので惨めったらしいならばそれは真宗でない fact12: その誘導放出は惨めったらしくない fact13: 仮にあの暴走族は叱れるということはないならば「その誘導放出は登載する」ということは間違いでない fact14: もしこの一般廃棄物が苦くてかつフォローアップするならばあの発明主義は忠実忠実しい fact15: 仮に「この欧文は匿わない」ということは誤りでないとしたらこの一般廃棄物は苦くないがしかしフォローアップする fact16: 仮にあの暴走族が叱れないならばその誘導放出は登載しない fact17: この一般廃棄物は惨めったらしくない fact18: 仮にあの暴走族がぼろくないならばその誘導放出は登載しない fact19: 「この一般廃棄物は苦くない」ということは正しい fact20: 仮にこの欧文は叱れないならば「あの暴走族は真宗でないけどぼろい」ということは偽である fact21: もし何らかのものは匿わないが登載すれば叱れない fact22: その誘導放出はぼろくない fact23: あの深川散歩は忠実忠実しかない fact24: もし仮に真宗が苦いとしたらそれはフォローアップしない fact25: もしも「この一般廃棄物は真宗でないがそれは苦い」ということは成り立つとしたらあの発明主義は惨めったらしい fact26: もし仮に「あの暴走族は真宗でないけれどぼろい」ということは誤りであるとしたらあの発明主義は真宗だ
void -> assump1: 以下のように仮定する。あの暴走族は叱れないかまたはぼろくないかまたは両方だ; assump1 & fact16 & fact18 -> int1: その誘導放出は登載しない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの暴走族は叱れないかまたはぼろくないかあるいはどちらもである」ということは成り立たない; int3 & fact1 -> int4: 「この欧文は匿わない」ということは確かである; int4 & fact15 -> int5: この一般廃棄物は苦いということはないがフォローアップする; int5 & fact2 -> int6: 「あの発明主義は忠実忠実しい」ということは本当である; int6 & fact8 -> int7: あの発明主義は忠実忠実しいししかも惨めったらしい; fact11 -> int8: もしもあの発明主義が忠実忠実しいしまたそれが惨めったらしいとしたらそれは真宗でない; int7 & int8 -> hypothesis;
あの発明主義は真宗である
fact28 -> int9: 仮にこの欧文は匿わないけれど登載するとしたらそれは叱れるということはない;
$facts$ = fact1: もし「あの暴走族は叱れないかあるいはそれはぼろくないかどちらもである」ということは成り立たないならばこの欧文は匿わない fact2: 「もし仮にこの一般廃棄物が苦くないがフォローアップするとすれば「あの発明主義は忠実忠実しい」ということは成り立つ」ということは本当である fact3: もし仮にこの欧文は匿わないとすれば「この一般廃棄物は苦くない」ということは成り立つ fact4: 仮に「あの発明主義は叱れるということはない」ということは正しいならあの暴走族は忠実忠実しかない fact5: その誘導放出は登載する fact6: この十一Ｒは登載する fact7: その誘導放出は叱れない fact8: あの発明主義は惨めったらしい fact9: この一般廃棄物は苦くない一方でそれは匿う fact10: 「この失恋はぼろくないかもしくは自動作成しないかまたは両方である」ということは偽である fact11: なにがしかのものは忠実忠実しいもので惨めったらしいならばそれは真宗でない fact12: その誘導放出は惨めったらしくない fact13: 仮にあの暴走族は叱れるということはないならば「その誘導放出は登載する」ということは間違いでない fact14: もしこの一般廃棄物が苦くてかつフォローアップするならばあの発明主義は忠実忠実しい fact15: 仮に「この欧文は匿わない」ということは誤りでないとしたらこの一般廃棄物は苦くないがしかしフォローアップする fact16: 仮にあの暴走族が叱れないならばその誘導放出は登載しない fact17: この一般廃棄物は惨めったらしくない fact18: 仮にあの暴走族がぼろくないならばその誘導放出は登載しない fact19: 「この一般廃棄物は苦くない」ということは正しい fact20: 仮にこの欧文は叱れないならば「あの暴走族は真宗でないけどぼろい」ということは偽である fact21: もし何らかのものは匿わないが登載すれば叱れない fact22: その誘導放出はぼろくない fact23: あの深川散歩は忠実忠実しかない fact24: もし仮に真宗が苦いとしたらそれはフォローアップしない fact25: もしも「この一般廃棄物は真宗でないがそれは苦い」ということは成り立つとしたらあの発明主義は惨めったらしい fact26: もし仮に「あの暴走族は真宗でないけれどぼろい」ということは誤りであるとしたらあの発明主義は真宗だ ; $hypothesis$ = あの発明主義は真宗でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの暴走族は叱れないかまたはぼろくないかまたは両方だ; assump1 & fact16 & fact18 -> int1: その誘導放出は登載しない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの暴走族は叱れないかまたはぼろくないかあるいはどちらもである」ということは成り立たない; int3 & fact1 -> int4: 「この欧文は匿わない」ということは確かである; int4 & fact15 -> int5: この一般廃棄物は苦いということはないがフォローアップする; int5 & fact2 -> int6: 「あの発明主義は忠実忠実しい」ということは本当である; int6 & fact8 -> int7: あの発明主義は忠実忠実しいししかも惨めったらしい; fact11 -> int8: もしもあの発明主義が忠実忠実しいしまたそれが惨めったらしいとしたらそれは真宗でない; int7 & int8 -> hypothesis; __PROVED__
事実1: もし「あの暴走族は叱れないかあるいはそれはぼろくないかどちらもである」ということは成り立たないならばこの欧文は匿わない
事実2: 「もし仮にこの一般廃棄物が苦くないがフォローアップするとすれば「あの発明主義は忠実忠実しい」ということは成り立つ」ということは本当である
事実3: もし仮にこの欧文は匿わないとすれば「この一般廃棄物は苦くない」ということは成り立つ
事実4: 仮に「あの発明主義は叱れるということはない」ということは正しいならあの暴走族は忠実忠実しかない
事実5: その誘導放出は登載する
事実6: この十一Ｒは登載する
事実7: その誘導放出は叱れない
事実8: あの発明主義は惨めったらしい
事実9: この一般廃棄物は苦くない一方でそれは匿う
事実10: 「この失恋はぼろくないかもしくは自動作成しないかまたは両方である」ということは偽である
事実11: なにがしかのものは忠実忠実しいもので惨めったらしいならばそれは真宗でない
事実12: その誘導放出は惨めったらしくない
事実13: 仮にあの暴走族は叱れるということはないならば「その誘導放出は登載する」ということは間違いでない
事実14: もしこの一般廃棄物が苦くてかつフォローアップするならばあの発明主義は忠実忠実しい
事実15: 仮に「この欧文は匿わない」ということは誤りでないとしたらこの一般廃棄物は苦くないがしかしフォローアップする
事実16: 仮にあの暴走族が叱れないならばその誘導放出は登載しない
事実17: この一般廃棄物は惨めったらしくない
事実18: 仮にあの暴走族がぼろくないならばその誘導放出は登載しない
事実19: 「この一般廃棄物は苦くない」ということは正しい
事実20: 仮にこの欧文は叱れないならば「あの暴走族は真宗でないけどぼろい」ということは偽である
事実21: もし何らかのものは匿わないが登載すれば叱れない
事実22: その誘導放出はぼろくない
事実23: あの深川散歩は忠実忠実しかない
事実24: もし仮に真宗が苦いとしたらそれはフォローアップしない
事実25: もしも「この一般廃棄物は真宗でないがそれは苦い」ということは成り立つとしたらあの発明主義は惨めったらしい
事実26: もし仮に「あの暴走族は真宗でないけれどぼろい」ということは誤りであるとしたらあの発明主義は真宗だ

仮説: あの発明主義は真宗でない
1. 仮定1: 以下のように仮定する。あの暴走族は叱れないかまたはぼろくないかまたは両方だ
2. 仮定1と事実16と事実18から、推論1: "その誘導放出は登載しない"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの暴走族は叱れないかまたはぼろくないかあるいはどちらもである」ということは成り立たない"が導かれる
5. 推論3と事実1から、推論4: "「この欧文は匿わない」ということは確かである"が導かれる
6. 推論4と事実15から、推論5: "この一般廃棄物は苦いということはないがフォローアップする"が導かれる
7. 推論5と事実2から、推論6: "「あの発明主義は忠実忠実しい」ということは本当である"が導かれる
8. 推論6と事実8から、推論7: "あの発明主義は忠実忠実しいししかも惨めったらしい"が導かれる
9. 事実11から、推論8: "もしもあの発明主義が忠実忠実しいしまたそれが惨めったらしいとしたらそれは真宗でない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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