この圃場整備事業は起こし為さらない
fact1: もし「その本省事業は馬鹿騒ぎする」ということは正しいとするとこの圃場整備事業は起こし為さる fact2: このＳＩＲは馬鹿騒ぎする fact3: 「その本省事業は金融資産だがしかしそつ無くない」ということは誤っている fact4: 打ち上がり易くない物は付属で更に二ＭＭＡＡである fact5: もしなにかは馬鹿騒ぎすればそれは頼み難い fact6: もし「その主催は庇い合うしそれは打ち上がり易い」ということは誤っているとしたらそれは打ち上がり易くない fact7: もしもふてぶてしくないものが羽交いならその主催は生み易い fact8: その職務執行は数家族で赤し fact9: あのκＰＨ値は起こし為さる fact10: もし仮に「このＳＩＲはそつ無いしそれにモシリだ」ということは真実だとしたら「この圃場整備事業は起こし為さらない」ということは本当である fact11: もし仮にその主催は二ＭＭＡＡであるししかも生み易いとしたらそつ無くない fact12: 仮になにがしかの物が頼み難いとしたらそれはモシリである fact13: もしもこのテレビ各社が頼み難いならばあの本省事業はモシリでない一方で馬鹿騒ぎする fact14: もしも「その本省事業は金融資産だがしかしそつ無くない」ということは成り立たないならばあのＳＩＲはそつ無い fact15: 仮に何かは数家族であるということはないとすれば「判断し難くてそれは金融資産だ」ということは間違いだ fact16: なんらかの物はふてぶてしくないけど羽交いだ fact17: もし仮にその職務執行が数家族であるし更に赤しならば「その主催は数家族でない」ということは成り立つ fact18: 「その主催は庇い合うしそれに打ち上がり易い」ということは成り立たない fact19: 仮に「その本省事業は馬鹿騒ぎするけどそれは金融資産でない」ということは成り立たないならこのＳＩＲは金融資産だ fact20: もし仮に「なにがしかの物は判断し難いししかもそれは金融資産だ」ということは間違いであるならばそれは金融資産だということはない fact21: もし仮にその本省事業が金融資産でないとしたらこのＳＩＲはそつ無い fact22: この圃場整備事業は馬鹿騒ぎする
fact5 -> int1: もし仮に「このＳＩＲは馬鹿騒ぎする」ということは本当であるとしたら頼み難い; int1 & fact2 -> int2: このＳＩＲは頼み難い; fact12 -> int3: もしもこのＳＩＲは頼み難いなら「それはモシリだ」ということは事実である; int2 & int3 -> int4: このＳＩＲはモシリである; fact14 & fact3 -> int5: このＳＩＲはそつ無い; int4 & int5 -> int6: このＳＩＲはそつ無くて加えてモシリだ; int6 & fact10 -> hypothesis;
この圃場整備事業は起こし為さる
fact25 -> int7: もし仮に「その主催は判断し難いしかつそれは金融資産である」ということは成り立たないとすれば金融資産でない; fact26 -> int8: もしもその主催は数家族でないなら「それは判断し難いししかも金融資産だ」ということは誤りである; fact30 & fact33 -> int9: その主催は数家族でない; int8 & int9 -> int10: 「その主催は判断し難いししかもそれは金融資産だ」ということは嘘だ; int7 & int10 -> int11: その主催は金融資産でない; fact31 -> int12: 仮にその主催が打ち上がり易くないとすれば付属で二ＭＭＡＡである; fact34 & fact27 -> int13: その主催は打ち上がり易くない; int12 & int13 -> int14: その主催は付属でそれは二ＭＭＡＡである; int14 -> int15: その主催は二ＭＭＡＡだ; fact23 & fact28 -> int16: その主催は生み易い; int15 & int16 -> int17: その主催は二ＭＭＡＡでそれに生み易い; fact29 & int17 -> int18: その主催はそつ無いということはない; int11 & int18 -> int19: その主催は金融資産でないしまたそれはそつ無くない; int19 -> int20: なにかは金融資産であるということはないしそつ無くない;
$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$ = 
fact5 -> int1: もし仮に「このＳＩＲは馬鹿騒ぎする」ということは本当であるとしたら頼み難い; int1 & fact2 -> int2: このＳＩＲは頼み難い; fact12 -> int3: もしもこのＳＩＲは頼み難いなら「それはモシリだ」ということは事実である; int2 & int3 -> int4: このＳＩＲはモシリである; fact14 & fact3 -> int5: このＳＩＲはそつ無い; int4 & int5 -> int6: このＳＩＲはそつ無くて加えてモシリだ; int6 & fact10 -> 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. 事実5から、推論1: "もし仮に「このＳＩＲは馬鹿騒ぎする」ということは本当であるとしたら頼み難い"が導かれる
2. 推論1と事実2から、推論2: "このＳＩＲは頼み難い"が導かれる
3. 事実12から、推論3: "もしもこのＳＩＲは頼み難いなら「それはモシリだ」ということは事実である"が導かれる
4. 推論2と推論3から、推論4: "このＳＩＲはモシリである"が導かれる
5. 事実14と事実3から、推論5: "このＳＩＲはそつ無い"が導かれる
6. 推論4と推論5から、推論6: "このＳＩＲはそつ無くて加えてモシリだ"が導かれる
7. 推論6と事実10から、仮説が導かれる

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