あのＤＡＺが捜し出せばあの道祖神社は凄まじい
fact1: もし「あの道祖神社はＣＧセクションでない」ということは成り立つとすれば程良くない fact2: 仮にあの道祖神社が複合であるしおまけにそれが程良いとすればそれは凄まじい fact3: もしあのＤＡＺがばら売りするということはないがしかしそれがＣＧセクションであるとするとあの道祖神社は治療戦略であるということはない fact4: 「あの道祖神社は程良くない」ということは真実である fact5: 仮にとある物が複合であるし加えてそれが程良いならばそれは凄まじい fact6: もしなにがしかのものがミニでないとすればそれはばら売りするしそれに繋がり易いということはない fact7: もし仮にあの道祖神社がばら売りするとするとこの喘息持ちは複合である fact8: あのＤＡＺは目覚ましくない fact9: もしなんらかのものがＣＧセクションでないならば複合であるしまた程良くない fact10: もし仮にこの喘息持ちがばら売りしないならあの道祖神社はＣＧセクションでない fact11: もし何らかのものはＣＧセクションでないなら程良くない fact12: もしもあのＤＡＺが目覚ましいしその上それが治療戦略であるとしたらこの喘息持ちはばら売りしない fact13: 仮にあのＤＡＺは目覚ましくないけれど治療戦略ならば「この喘息持ちはばら売りしない」ということは成り立つ fact14: もし仮に複合が程良くないとするとそれは凄まじい fact15: もしあのＤＡＺは捜し出すとしたら「目覚ましくない」ということは成り立つ fact16: もし仮にあの道祖神社が凄まじいとすればそれがばら売りしないしさらにそれは目覚ましい fact17: あのＤＡＺが捜し出せば目覚ましいということはないがしかし治療戦略だ
void -> assump1: 以下のように仮定する。あのＤＡＺは捜し出す; fact17 & assump1 -> int1: あのＤＡＺは目覚ましくない一方で治療戦略だ; int1 & fact13 -> int2: この喘息持ちはばら売りしない; int2 & fact10 -> int3: あの道祖神社はＣＧセクションだということはない; fact9 -> int4: 仮にあの道祖神社はＣＧセクションでないなら複合であるけど程良くない; int3 & int4 -> int5: あの道祖神社は複合であるがしかし程良くない; fact14 -> int6: もしあの道祖神社が複合であるけれど程良いということはないとするとそれは凄まじい; int5 & int6 -> int7: 「あの道祖神社は凄まじい」ということは確かだ; [assump1] & int7 -> hypothesis;
仮にその通常手続きがミニでないとすればばら売りするが繋がり易いということはない
fact18 -> hypothesis;
$facts$ = fact1: もし「あの道祖神社はＣＧセクションでない」ということは成り立つとすれば程良くない fact2: 仮にあの道祖神社が複合であるしおまけにそれが程良いとすればそれは凄まじい fact3: もしあのＤＡＺがばら売りするということはないがしかしそれがＣＧセクションであるとするとあの道祖神社は治療戦略であるということはない fact4: 「あの道祖神社は程良くない」ということは真実である fact5: 仮にとある物が複合であるし加えてそれが程良いならばそれは凄まじい fact6: もしなにがしかのものがミニでないとすればそれはばら売りするしそれに繋がり易いということはない fact7: もし仮にあの道祖神社がばら売りするとするとこの喘息持ちは複合である fact8: あのＤＡＺは目覚ましくない fact9: もしなんらかのものがＣＧセクションでないならば複合であるしまた程良くない fact10: もし仮にこの喘息持ちがばら売りしないならあの道祖神社はＣＧセクションでない fact11: もし何らかのものはＣＧセクションでないなら程良くない fact12: もしもあのＤＡＺが目覚ましいしその上それが治療戦略であるとしたらこの喘息持ちはばら売りしない fact13: 仮にあのＤＡＺは目覚ましくないけれど治療戦略ならば「この喘息持ちはばら売りしない」ということは成り立つ fact14: もし仮に複合が程良くないとするとそれは凄まじい fact15: もしあのＤＡＺは捜し出すとしたら「目覚ましくない」ということは成り立つ fact16: もし仮にあの道祖神社が凄まじいとすればそれがばら売りしないしさらにそれは目覚ましい fact17: あのＤＡＺが捜し出せば目覚ましいということはないがしかし治療戦略だ ; $hypothesis$ = あのＤＡＺが捜し出せばあの道祖神社は凄まじい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＤＡＺは捜し出す; fact17 & assump1 -> int1: あのＤＡＺは目覚ましくない一方で治療戦略だ; int1 & fact13 -> int2: この喘息持ちはばら売りしない; int2 & fact10 -> int3: あの道祖神社はＣＧセクションだということはない; fact9 -> int4: 仮にあの道祖神社はＣＧセクションでないなら複合であるけど程良くない; int3 & int4 -> int5: あの道祖神社は複合であるがしかし程良くない; fact14 -> int6: もしあの道祖神社が複合であるけれど程良いということはないとするとそれは凄まじい; int5 & int6 -> int7: 「あの道祖神社は凄まじい」ということは確かだ; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし「あの道祖神社はＣＧセクションでない」ということは成り立つとすれば程良くない
事実2: 仮にあの道祖神社が複合であるしおまけにそれが程良いとすればそれは凄まじい
事実3: もしあのＤＡＺがばら売りするということはないがしかしそれがＣＧセクションであるとするとあの道祖神社は治療戦略であるということはない
事実4: 「あの道祖神社は程良くない」ということは真実である
事実5: 仮にとある物が複合であるし加えてそれが程良いならばそれは凄まじい
事実6: もしなにがしかのものがミニでないとすればそれはばら売りするしそれに繋がり易いということはない
事実7: もし仮にあの道祖神社がばら売りするとするとこの喘息持ちは複合である
事実8: あのＤＡＺは目覚ましくない
事実9: もしなんらかのものがＣＧセクションでないならば複合であるしまた程良くない
事実10: もし仮にこの喘息持ちがばら売りしないならあの道祖神社はＣＧセクションでない
事実11: もし何らかのものはＣＧセクションでないなら程良くない
事実12: もしもあのＤＡＺが目覚ましいしその上それが治療戦略であるとしたらこの喘息持ちはばら売りしない
事実13: 仮にあのＤＡＺは目覚ましくないけれど治療戦略ならば「この喘息持ちはばら売りしない」ということは成り立つ
事実14: もし仮に複合が程良くないとするとそれは凄まじい
事実15: もしあのＤＡＺは捜し出すとしたら「目覚ましくない」ということは成り立つ
事実16: もし仮にあの道祖神社が凄まじいとすればそれがばら売りしないしさらにそれは目覚ましい
事実17: あのＤＡＺが捜し出せば目覚ましいということはないがしかし治療戦略だ

仮説: あのＤＡＺが捜し出せばあの道祖神社は凄まじい
1. 仮定1: 以下のように仮定する。あのＤＡＺは捜し出す
2. 事実17と仮定1から、推論1: "あのＤＡＺは目覚ましくない一方で治療戦略だ"が導かれる
3. 推論1と事実13から、推論2: "この喘息持ちはばら売りしない"が導かれる
4. 推論2と事実10から、推論3: "あの道祖神社はＣＧセクションだということはない"が導かれる
5. 事実9から、推論4: "仮にあの道祖神社はＣＧセクションでないなら複合であるけど程良くない"が導かれる
6. 推論3と推論4から、推論5: "あの道祖神社は複合であるがしかし程良くない"が導かれる
7. 事実14から、推論6: "もしあの道祖神社が複合であるけれど程良いということはないとするとそれは凄まじい"が導かれる
8. 推論5と推論6から、推論7: "「あの道祖神社は凄まじい」ということは確かだ"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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