この研究成果は走れるということはない
fact1: 「「薄汚い」ということは事実である」物はある fact2: この上場企業は空恐ろしくない fact3: 空恐ろしいということはないものは走れるし日本人らしい fact4: その道路法は同じゅうするということはないならば「あの変人は観光収入であるということはない」ということは確かである fact5: もしこの座長代理は貸し倒れるとすれば「この研究成果は通話出来る」ということは間違いでない fact6: この研究成果は通話出来る fact7: あらゆる物は通話出来る fact8: もしあの変人が観光収入でなくて更にそれが狂信でないとするとその悔やみは内腸骨動脈である fact9: その御上意が疑り深いとするとあの変人は不安神経症である fact10: 全ての物は寝付くしさらにそれは通話出来る fact11: もしその悔やみは内腸骨動脈だとしたら「この座長代理はレポートしないしまた深刻化しない」ということは成り立たない fact12: この座長代理は日本人らしい fact13: もしもその道路法が遣る瀬無くないとすればあの変人は観光収入でない fact14: この座長代理は空恐ろしい fact15: 不安神経症は狂信でない fact16: もし「何かはレポートしなくて深刻化するということはない」ということは間違いならば貸し倒れる fact17: もし仮にこの座長代理が日本人らしいしそれは空恐ろしいならば「この研究成果は招き易くない」ということは成り立つ fact18: 仮にこの座長代理が走れるし寝付くなら「この研究成果は日本人らしくない」ということは正しい fact19: もしなんらかのものは走れるけれど招き易くないとすると寝付かない fact20: その道路法は遣る瀬無くないかまたは同じゅうしないかまたはどちらもである fact21: もし仮に「この柱廊は名残惜しい一方で白しない」ということは間違いであるならその御上意は疑り深い fact22: その貸し倒れ金は招き易くない
fact12 & fact14 -> int1: この座長代理は日本人らしいしそれにそれは空恐ろしい; int1 & fact17 -> int2: この研究成果は招き易くない; void -> assump1: 以下のように仮定する。この研究成果は走れる; int2 & assump1 -> int3: この研究成果は走れるがしかし招き易くない; fact19 -> int4: この研究成果は走れるが招き易くないなら寝付くということはない; int3 & int4 -> int5: この研究成果は寝付かない; fact10 -> int6: この研究成果は寝付くしかつそれは通話出来る; int6 -> int7: この研究成果は寝付く; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この研究成果は走れる
fact30 -> int9: もし仮にこの研究成果が空恐ろしくないとするとそれは走れるしさらに日本人らしい; fact26 -> int10: 「「この座長代理はレポートしないし更に深刻化しない」ということは正しい」ということは事実と異なるとするとそれは貸し倒れる; fact24 & fact27 & fact34 -> int11: あの変人は観光収入でない; fact25 -> int12: あの変人は不安神経症であるなら狂信でない;
$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$ = 
fact12 & fact14 -> int1: この座長代理は日本人らしいしそれにそれは空恐ろしい; int1 & fact17 -> int2: この研究成果は招き易くない; void -> assump1: 以下のように仮定する。この研究成果は走れる; int2 & assump1 -> int3: この研究成果は走れるがしかし招き易くない; fact19 -> int4: この研究成果は走れるが招き易くないなら寝付くということはない; int3 & int4 -> int5: この研究成果は寝付かない; fact10 -> int6: この研究成果は寝付くしかつそれは通話出来る; int6 -> int7: この研究成果は寝付く; int5 & int7 -> int8: これは矛盾である; [assump1] & 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: その貸し倒れ金は招き易くない

仮説: この研究成果は走れるということはない
1. 事実12と事実14から、推論1: "この座長代理は日本人らしいしそれにそれは空恐ろしい"が導かれる
2. 推論1と事実17から、推論2: "この研究成果は招き易くない"が導かれる
3. 仮定1: 以下のように仮定する。この研究成果は走れる
4. 推論2と仮定1から、推論3: "この研究成果は走れるがしかし招き易くない"が導かれる
5. 事実19から、推論4: "この研究成果は走れるが招き易くないなら寝付くということはない"が導かれる
6. 推論3と推論4から、推論5: "この研究成果は寝付かない"が導かれる
7. 事実10から、推論6: "この研究成果は寝付くしかつそれは通話出来る"が導かれる
8. 推論6から、推論7: "この研究成果は寝付く"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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