「この栄養面は組み入れる」ということは真実である
fact1: ある物がシャント疾患でなくて更に住吉入江避難施設でないとすればそれは組み入れる fact2: あのリスクが維持助長するなら連立政権樹立でないしそれは晒され易くない fact3: もしもその上尾署は点在するが晒され易くないならばそれは行く fact4: 仮にその上尾署が住吉入江避難施設でないとするとこの栄養面は点在しない fact5: 仮にあのリスクは行かないがしかしロック界ならそれは維持助長するということはない fact6: 仮に「あるものは行くないけど維持助長する」ということは事実と異なるとすると組み入れるということはない fact7: もしもあのリスクは住吉入江避難施設だとすると「この栄養面は行かないけれど維持助長する」ということは間違いだ fact8: 仮にその上尾署が制定するならあのリスクは行く fact9: その上尾署が点在すればあのリスクは行く fact10: 仮になんらかの物は連立政権樹立でなくて晒され易くないならそれは行くない fact11: もしその上尾署は維持助長するがしかしロック界でないなら晒され易い fact12: もしもあのリスクが維持助長しないとすればあの栄養面はシャント疾患であるということはないしさらに住吉入江避難施設でない fact13: この栄養面はロック界でない fact14: もし「あのリスクは晒され易くない」ということは本当であるとすればこの栄養面はロック界でないし組み入れない fact15: もし仮にロック界が晒され易くないとしたらそれはシャント疾患だ fact16: もし仮にその上尾署がロック界でないとしたらそれは制定するかそれは点在する fact17: その上尾署は維持助長する fact18: その上尾署はロック界でない fact19: 仮に騒がしい物は表面仕上げでないとしたらプレゼンテーションするということはない
void -> assump1: 以下のように仮定する。「あのリスクは維持助長する」ということは成り立つ; fact2 & assump1 -> int1: あのリスクは連立政権樹立でなくてしかも晒され易くない; fact10 -> int2: もし仮にあのリスクは連立政権樹立でなくてその上晒され易いということはないとすればそれは行くない; int1 & int2 -> int3: 「あのリスクは行かない」ということは真実だ; fact18 & fact16 -> int4: その上尾署は制定するかまたは点在する; fact8 & fact9 & int4 -> int5: あのリスクは行く; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのリスクは維持助長しない; int7 & fact12 -> int8: 「この栄養面はシャント疾患でなくて住吉入江避難施設でない」ということは事実である; fact1 -> int9: この栄養面がシャント疾患でなくて加えてそれは住吉入江避難施設でないならば組み入れる; int8 & int9 -> hypothesis;
この栄養面は組み入れない
fact21 -> int10: 仮に「この栄養面は行くということはないけど維持助長する」ということは成り立たないとしたら組み入れない;
$facts$ = fact1: ある物がシャント疾患でなくて更に住吉入江避難施設でないとすればそれは組み入れる fact2: あのリスクが維持助長するなら連立政権樹立でないしそれは晒され易くない fact3: もしもその上尾署は点在するが晒され易くないならばそれは行く fact4: 仮にその上尾署が住吉入江避難施設でないとするとこの栄養面は点在しない fact5: 仮にあのリスクは行かないがしかしロック界ならそれは維持助長するということはない fact6: 仮に「あるものは行くないけど維持助長する」ということは事実と異なるとすると組み入れるということはない fact7: もしもあのリスクは住吉入江避難施設だとすると「この栄養面は行かないけれど維持助長する」ということは間違いだ fact8: 仮にその上尾署が制定するならあのリスクは行く fact9: その上尾署が点在すればあのリスクは行く fact10: 仮になんらかの物は連立政権樹立でなくて晒され易くないならそれは行くない fact11: もしその上尾署は維持助長するがしかしロック界でないなら晒され易い fact12: もしもあのリスクが維持助長しないとすればあの栄養面はシャント疾患であるということはないしさらに住吉入江避難施設でない fact13: この栄養面はロック界でない fact14: もし「あのリスクは晒され易くない」ということは本当であるとすればこの栄養面はロック界でないし組み入れない fact15: もし仮にロック界が晒され易くないとしたらそれはシャント疾患だ fact16: もし仮にその上尾署がロック界でないとしたらそれは制定するかそれは点在する fact17: その上尾署は維持助長する fact18: その上尾署はロック界でない fact19: 仮に騒がしい物は表面仕上げでないとしたらプレゼンテーションするということはない ; $hypothesis$ = 「この栄養面は組み入れる」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのリスクは維持助長する」ということは成り立つ; fact2 & assump1 -> int1: あのリスクは連立政権樹立でなくてしかも晒され易くない; fact10 -> int2: もし仮にあのリスクは連立政権樹立でなくてその上晒され易いということはないとすればそれは行くない; int1 & int2 -> int3: 「あのリスクは行かない」ということは真実だ; fact18 & fact16 -> int4: その上尾署は制定するかまたは点在する; fact8 & fact9 & int4 -> int5: あのリスクは行く; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのリスクは維持助長しない; int7 & fact12 -> int8: 「この栄養面はシャント疾患でなくて住吉入江避難施設でない」ということは事実である; fact1 -> int9: この栄養面がシャント疾患でなくて加えてそれは住吉入江避難施設でないならば組み入れる; int8 & int9 -> hypothesis; __PROVED__
事実1: ある物がシャント疾患でなくて更に住吉入江避難施設でないとすればそれは組み入れる
事実2: あのリスクが維持助長するなら連立政権樹立でないしそれは晒され易くない
事実3: もしもその上尾署は点在するが晒され易くないならばそれは行く
事実4: 仮にその上尾署が住吉入江避難施設でないとするとこの栄養面は点在しない
事実5: 仮にあのリスクは行かないがしかしロック界ならそれは維持助長するということはない
事実6: 仮に「あるものは行くないけど維持助長する」ということは事実と異なるとすると組み入れるということはない
事実7: もしもあのリスクは住吉入江避難施設だとすると「この栄養面は行かないけれど維持助長する」ということは間違いだ
事実8: 仮にその上尾署が制定するならあのリスクは行く
事実9: その上尾署が点在すればあのリスクは行く
事実10: 仮になんらかの物は連立政権樹立でなくて晒され易くないならそれは行くない
事実11: もしその上尾署は維持助長するがしかしロック界でないなら晒され易い
事実12: もしもあのリスクが維持助長しないとすればあの栄養面はシャント疾患であるということはないしさらに住吉入江避難施設でない
事実13: この栄養面はロック界でない
事実14: もし「あのリスクは晒され易くない」ということは本当であるとすればこの栄養面はロック界でないし組み入れない
事実15: もし仮にロック界が晒され易くないとしたらそれはシャント疾患だ
事実16: もし仮にその上尾署がロック界でないとしたらそれは制定するかそれは点在する
事実17: その上尾署は維持助長する
事実18: その上尾署はロック界でない
事実19: 仮に騒がしい物は表面仕上げでないとしたらプレゼンテーションするということはない

仮説: 「この栄養面は組み入れる」ということは真実である
1. 仮定1: 以下のように仮定する。「あのリスクは維持助長する」ということは成り立つ
2. 事実2と仮定1から、推論1: "あのリスクは連立政権樹立でなくてしかも晒され易くない"が導かれる
3. 事実10から、推論2: "もし仮にあのリスクは連立政権樹立でなくてその上晒され易いということはないとすればそれは行くない"が導かれる
4. 推論1と推論2から、推論3: "「あのリスクは行かない」ということは真実だ"が導かれる
5. 事実18と事実16から、推論4: "その上尾署は制定するかまたは点在する"が導かれる
6. 事実8と事実9と推論4から、推論5: "あのリスクは行く"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あのリスクは維持助長しない"が導かれる
9. 推論7と事実12から、推論8: "「この栄養面はシャント疾患でなくて住吉入江避難施設でない」ということは事実である"が導かれる
10. 事実1から、推論9: "この栄養面がシャント疾患でなくて加えてそれは住吉入江避難施設でないならば組み入れる"が導かれる
11. 推論8と推論9から、仮説が導かれる

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