「その中世寺院は有益菌だけど法的リスクだということはない」ということは間違っている
fact1: もしこの県条例は法的リスクでないとすれば「その中世寺院は有益菌だ一方で法的リスクでない」ということは成り立つということはない fact2: あのサダム政権崩壊が近付き易くないか有益菌でないとするとその中世寺院は有益菌である fact3: もしも「あのサダム政権崩壊は自然らしくないけれど法的リスクだ」ということは嘘であるならばその苗代は有益菌である fact4: 「その中世寺院は有益菌だし法的リスクである」ということは誤りである fact5: もしもなにかはしかつめらしいとすると「絞り込みでないし近付き易い」ということは誤りだ fact6: もし「この県条例は近付き易くない」ということは本当だとしたら「あのサダム政権崩壊は自然らしくないがしかし法的リスクである」ということは誤っている fact7: 「この県条例は有益菌であるしそれに法的リスクだ」ということは誤りだ fact8: 仮にあのサダム政権崩壊が煎ずらないかあるいは釣り鐘であるかまたは両方ともならこの県条例は法的リスクだということはない fact9: あのサダム政権崩壊は煎ずらないかあるいはそれは釣り鐘であるかあるいは両方である fact10: もしも「その中世寺院は絞り込みでない一方で近付き易い」ということは成り立たないとすると「この県条例は近付き易くない」ということは真実である fact11: もしもあのサダム政権崩壊がしかつめらしいならばそれは近付き易いということはないかまたはそれは有益菌だということはない fact12: 仮にその中世寺院が釣り鐘ならあのサダム政権崩壊は法的リスクでない fact13: 毒々しいものはしかつめらしい fact14: もしも「あのサダム政権崩壊は絞り込みだけど毒々しかない」ということは誤りであるとすると「それはしかつめらしい」ということは正しい fact15: もし「なにがしかのものは有益菌である」ということは正しいとしたら「起こり難いけどプロムナードでない」ということは間違っている
fact8 & fact9 -> int1: この県条例は法的リスクでない; int1 & fact1 -> hypothesis;
「その苗代は起こり難いけどプロムナードでない」ということは誤りである
fact21 -> int2: もしその苗代は有益菌であるとすると「起こり難いしまたそれはプロムナードでない」ということは事実と異なる; fact19 -> int3: 仮にその中世寺院はしかつめらしいなら「それは絞り込みでないけれど近付き易い」ということは成り立つということはない; fact17 -> int4: その中世寺院は毒々しいなら「しかつめらしい」ということは成り立つ;
$facts$ = fact1: もしこの県条例は法的リスクでないとすれば「その中世寺院は有益菌だ一方で法的リスクでない」ということは成り立つということはない fact2: あのサダム政権崩壊が近付き易くないか有益菌でないとするとその中世寺院は有益菌である fact3: もしも「あのサダム政権崩壊は自然らしくないけれど法的リスクだ」ということは嘘であるならばその苗代は有益菌である fact4: 「その中世寺院は有益菌だし法的リスクである」ということは誤りである fact5: もしもなにかはしかつめらしいとすると「絞り込みでないし近付き易い」ということは誤りだ fact6: もし「この県条例は近付き易くない」ということは本当だとしたら「あのサダム政権崩壊は自然らしくないがしかし法的リスクである」ということは誤っている fact7: 「この県条例は有益菌であるしそれに法的リスクだ」ということは誤りだ fact8: 仮にあのサダム政権崩壊が煎ずらないかあるいは釣り鐘であるかまたは両方ともならこの県条例は法的リスクだということはない fact9: あのサダム政権崩壊は煎ずらないかあるいはそれは釣り鐘であるかあるいは両方である fact10: もしも「その中世寺院は絞り込みでない一方で近付き易い」ということは成り立たないとすると「この県条例は近付き易くない」ということは真実である fact11: もしもあのサダム政権崩壊がしかつめらしいならばそれは近付き易いということはないかまたはそれは有益菌だということはない fact12: 仮にその中世寺院が釣り鐘ならあのサダム政権崩壊は法的リスクでない fact13: 毒々しいものはしかつめらしい fact14: もしも「あのサダム政権崩壊は絞り込みだけど毒々しかない」ということは誤りであるとすると「それはしかつめらしい」ということは正しい fact15: もし「なにがしかのものは有益菌である」ということは正しいとしたら「起こり難いけどプロムナードでない」ということは間違っている ; $hypothesis$ = 「その中世寺院は有益菌だけど法的リスクだということはない」ということは間違っている ; $proof$ = 
fact8 & fact9 -> int1: この県条例は法的リスクでない; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしこの県条例は法的リスクでないとすれば「その中世寺院は有益菌だ一方で法的リスクでない」ということは成り立つということはない
事実2: あのサダム政権崩壊が近付き易くないか有益菌でないとするとその中世寺院は有益菌である
事実3: もしも「あのサダム政権崩壊は自然らしくないけれど法的リスクだ」ということは嘘であるならばその苗代は有益菌である
事実4: 「その中世寺院は有益菌だし法的リスクである」ということは誤りである
事実5: もしもなにかはしかつめらしいとすると「絞り込みでないし近付き易い」ということは誤りだ
事実6: もし「この県条例は近付き易くない」ということは本当だとしたら「あのサダム政権崩壊は自然らしくないがしかし法的リスクである」ということは誤っている
事実7: 「この県条例は有益菌であるしそれに法的リスクだ」ということは誤りだ
事実8: 仮にあのサダム政権崩壊が煎ずらないかあるいは釣り鐘であるかまたは両方ともならこの県条例は法的リスクだということはない
事実9: あのサダム政権崩壊は煎ずらないかあるいはそれは釣り鐘であるかあるいは両方である
事実10: もしも「その中世寺院は絞り込みでない一方で近付き易い」ということは成り立たないとすると「この県条例は近付き易くない」ということは真実である
事実11: もしもあのサダム政権崩壊がしかつめらしいならばそれは近付き易いということはないかまたはそれは有益菌だということはない
事実12: 仮にその中世寺院が釣り鐘ならあのサダム政権崩壊は法的リスクでない
事実13: 毒々しいものはしかつめらしい
事実14: もしも「あのサダム政権崩壊は絞り込みだけど毒々しかない」ということは誤りであるとすると「それはしかつめらしい」ということは正しい
事実15: もし「なにがしかのものは有益菌である」ということは正しいとしたら「起こり難いけどプロムナードでない」ということは間違っている

仮説: 「その中世寺院は有益菌だけど法的リスクだということはない」ということは間違っている
1. 事実8と事実9から、推論1: "この県条例は法的リスクでない"が導かれる
2. 推論1と事実1から、仮説が導かれる

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