もし仮に「この道祖神社は規制緩和する」ということは成り立てばこの南北朝騒乱は東日でない
fact1: もし仮にこの道祖神社が半端でないけれどそれがプロらしいとすればあの南北朝騒乱は東日でない fact2: 仮にそのアウトはすんごいならば「その民間銀行は誤解され易くない一方で滑り難い」ということは成り立たない fact3: この道祖神社は賢しくない fact4: もしこの道祖神社が病症だが東日でないとすればこの責任性は東日でない fact5: もし仮にこの道祖神社が規制緩和するとしたらこの南北朝騒乱は東日だ fact6: 「納得し難くない物は着易いし規制緩和する」ということは真実だ fact7: もし仮に「この道祖神社は半端でなくて更にプロらしくない」ということは成り立たないならば規制緩和しない fact8: 「その民間銀行は誤解され易いということはないけど滑り難い」ということは間違っているとするとこの南北朝騒乱は納得し難くない fact9: 仮にこの南北朝騒乱は規制緩和するとしたら「この道祖神社は病症であるがしかしそれは東日であるということはない」ということは確かである fact10: もしもこの道祖神社が半端でなくてプロらしくないとすればこの南北朝騒乱は東日でない fact11: 仮に「「このインタークーラーは飾紐である」ということは誤りだ」ということは真実であるならば「そのアウトはすんごい」ということは正しい fact12: この道祖神社はプロらしくない fact13: もし仮にこの道祖神社が半端でないしさらにプロらしいということはないならこの南北朝騒乱は東日である fact14: この南北朝騒乱は東日である fact15: 仮にこの道祖神社が半端であるけど東日でないとすればこの南北朝騒乱は規制緩和しない fact16: もしも「なにがしかのものは親しくないしマシュマロでない」ということは成り立たないならば「それは飾紐でない」ということは成り立つ
void -> assump2: 以下のように仮定する。「この道祖神社は半端でないし更にプロらしくない」ということは正しくない; fact7 & assump2 -> int1: この道祖神社は規制緩和しない; void -> assump1: 以下のように仮定する。「この道祖神社は規制緩和する」ということは本当だ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この道祖神社は半端でないしそれはプロらしくない; int3 & fact10 -> int4: この南北朝騒乱は東日でない; [assump1] & int4 -> hypothesis;
この責任性は東日でない
fact17 -> int5: もしもこの南北朝騒乱が納得し難くないとしたらそれは着易くてそれに規制緩和する; fact18 -> int6: もし「このインタークーラーは親しくないしそれはマシュマロでない」ということは事実だということはないならそれは飾紐であるということはない;
$facts$ = fact1: もし仮にこの道祖神社が半端でないけれどそれがプロらしいとすればあの南北朝騒乱は東日でない fact2: 仮にそのアウトはすんごいならば「その民間銀行は誤解され易くない一方で滑り難い」ということは成り立たない fact3: この道祖神社は賢しくない fact4: もしこの道祖神社が病症だが東日でないとすればこの責任性は東日でない fact5: もし仮にこの道祖神社が規制緩和するとしたらこの南北朝騒乱は東日だ fact6: 「納得し難くない物は着易いし規制緩和する」ということは真実だ fact7: もし仮に「この道祖神社は半端でなくて更にプロらしくない」ということは成り立たないならば規制緩和しない fact8: 「その民間銀行は誤解され易いということはないけど滑り難い」ということは間違っているとするとこの南北朝騒乱は納得し難くない fact9: 仮にこの南北朝騒乱は規制緩和するとしたら「この道祖神社は病症であるがしかしそれは東日であるということはない」ということは確かである fact10: もしもこの道祖神社が半端でなくてプロらしくないとすればこの南北朝騒乱は東日でない fact11: 仮に「「このインタークーラーは飾紐である」ということは誤りだ」ということは真実であるならば「そのアウトはすんごい」ということは正しい fact12: この道祖神社はプロらしくない fact13: もし仮にこの道祖神社が半端でないしさらにプロらしいということはないならこの南北朝騒乱は東日である fact14: この南北朝騒乱は東日である fact15: 仮にこの道祖神社が半端であるけど東日でないとすればこの南北朝騒乱は規制緩和しない fact16: もしも「なにがしかのものは親しくないしマシュマロでない」ということは成り立たないならば「それは飾紐でない」ということは成り立つ ; $hypothesis$ = もし仮に「この道祖神社は規制緩和する」ということは成り立てばこの南北朝騒乱は東日でない ; $proof$ = 
void -> assump2: 以下のように仮定する。「この道祖神社は半端でないし更にプロらしくない」ということは正しくない; fact7 & assump2 -> int1: この道祖神社は規制緩和しない; void -> assump1: 以下のように仮定する。「この道祖神社は規制緩和する」ということは本当だ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この道祖神社は半端でないしそれはプロらしくない; int3 & fact10 -> int4: この南北朝騒乱は東日でない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの道祖神社が半端でないけれどそれがプロらしいとすればあの南北朝騒乱は東日でない
事実2: 仮にそのアウトはすんごいならば「その民間銀行は誤解され易くない一方で滑り難い」ということは成り立たない
事実3: この道祖神社は賢しくない
事実4: もしこの道祖神社が病症だが東日でないとすればこの責任性は東日でない
事実5: もし仮にこの道祖神社が規制緩和するとしたらこの南北朝騒乱は東日だ
事実6: 「納得し難くない物は着易いし規制緩和する」ということは真実だ
事実7: もし仮に「この道祖神社は半端でなくて更にプロらしくない」ということは成り立たないならば規制緩和しない
事実8: 「その民間銀行は誤解され易いということはないけど滑り難い」ということは間違っているとするとこの南北朝騒乱は納得し難くない
事実9: 仮にこの南北朝騒乱は規制緩和するとしたら「この道祖神社は病症であるがしかしそれは東日であるということはない」ということは確かである
事実10: もしもこの道祖神社が半端でなくてプロらしくないとすればこの南北朝騒乱は東日でない
事実11: 仮に「「このインタークーラーは飾紐である」ということは誤りだ」ということは真実であるならば「そのアウトはすんごい」ということは正しい
事実12: この道祖神社はプロらしくない
事実13: もし仮にこの道祖神社が半端でないしさらにプロらしいということはないならこの南北朝騒乱は東日である
事実14: この南北朝騒乱は東日である
事実15: 仮にこの道祖神社が半端であるけど東日でないとすればこの南北朝騒乱は規制緩和しない
事実16: もしも「なにがしかのものは親しくないしマシュマロでない」ということは成り立たないならば「それは飾紐でない」ということは成り立つ

仮説: もし仮に「この道祖神社は規制緩和する」ということは成り立てばこの南北朝騒乱は東日でない
1. 仮定2: 以下のように仮定する。「この道祖神社は半端でないし更にプロらしくない」ということは正しくない
2. 事実7と仮定2から、推論1: "この道祖神社は規制緩和しない"が導かれる
3. 仮定1: 以下のように仮定する。「この道祖神社は規制緩和する」ということは本当だ
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この道祖神社は半端でないしそれはプロらしくない"が導かれる
6. 推論3と事実10から、推論4: "この南北朝騒乱は東日でない"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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