この水攻めは懐こい
fact1: 仮にこの観音菩薩は御芝居ならば「この水攻めは盲信する」ということは誤りでない fact2: でっかい物は賢しくないしフルライン政策上だということはない fact3: もしもその狐さんが賢しくないしその上それがフルライン政策上だということはないとしたらそれは右ページでない fact4: この水攻めは千六百字だ fact5: もし「この水攻めは御芝居である」ということは本当だとするとこの観音菩薩は懐こい fact6: もしもあの多項式がいがらっぽくないとしたら危なっかしいしでっかい fact7: 何かは開園すればそれは懐こい fact8: 仮になにかは盲信するとするとそれは御芝居だ fact9: 仮にこの中央社会保険医療協議会は記帳するなら「充当す」ということは確かだ fact10: この観音菩薩は御芝居であるかＵ字であるかあるいは両方ともである fact11: 懐こいものはＵ字である fact12: 仮にこの観音菩薩が懐こいとしたらこの水攻めは御芝居である fact13: その狐さんは右ページでないとすれば「それは婚姻でなくてその上開園しない」ということは成り立たない fact14: もし仮に「あの多項式はでっかい」ということは事実であるとするとその狐さんはでっかい fact15: あの多項式はいがらっぽくない fact16: このメルロー種は盲信する fact17: もしこの観音菩薩がＵ字であるならばこの水攻めは盲信する fact18: 仮にこの観音菩薩がＵ字だが御芝居でないとするとこの水攻めは懐こくない fact19: もしこの観音菩薩が開園すればこの水攻めは御芝居だ fact20: 仮にあるものが盲信するとすれば開園する
fact10 & fact1 & fact17 -> int1: この水攻めは盲信する; fact20 -> int2: 仮にこの水攻めが盲信するとしたらそれは開園する; int1 & int2 -> int3: この水攻めは開園する; fact7 -> int4: もしもこの水攻めが開園するとすると懐こい; int3 & int4 -> hypothesis;
fact10 & fact1 & fact17 -> int1: {C}{c}; fact20 -> int2: {C}{c} -> {D}{c}; int1 & int2 -> int3: {D}{c}; fact7 -> int4: {D}{c} -> {E}{c}; int3 & int4 -> hypothesis;
この水攻めは懐こくない
fact26 -> int5: もしその狐さんがでっかいとすると賢しいということはないしフルライン政策上であるということはない; fact22 & fact23 -> int6: あの多項式は危なっかしくてかつそれはでっかい; int6 -> int7: あの多項式はでっかい; fact24 & int7 -> int8: その狐さんはでっかい; int5 & int8 -> int9: その狐さんは賢しくないしフルライン政策上でない; fact27 & int9 -> int10: その狐さんは右ページでない; fact25 & int10 -> int11: 「その狐さんは婚姻であるということはなくてそれに開園しない」ということは誤っている; int11 -> int12: 「「婚姻でなくて開園しない」ということは誤っている」ものはある;
$facts$ = fact1: 仮にこの観音菩薩は御芝居ならば「この水攻めは盲信する」ということは誤りでない fact2: でっかい物は賢しくないしフルライン政策上だということはない fact3: もしもその狐さんが賢しくないしその上それがフルライン政策上だということはないとしたらそれは右ページでない fact4: この水攻めは千六百字だ fact5: もし「この水攻めは御芝居である」ということは本当だとするとこの観音菩薩は懐こい fact6: もしもあの多項式がいがらっぽくないとしたら危なっかしいしでっかい fact7: 何かは開園すればそれは懐こい fact8: 仮になにかは盲信するとするとそれは御芝居だ fact9: 仮にこの中央社会保険医療協議会は記帳するなら「充当す」ということは確かだ fact10: この観音菩薩は御芝居であるかＵ字であるかあるいは両方ともである fact11: 懐こいものはＵ字である fact12: 仮にこの観音菩薩が懐こいとしたらこの水攻めは御芝居である fact13: その狐さんは右ページでないとすれば「それは婚姻でなくてその上開園しない」ということは成り立たない fact14: もし仮に「あの多項式はでっかい」ということは事実であるとするとその狐さんはでっかい fact15: あの多項式はいがらっぽくない fact16: このメルロー種は盲信する fact17: もしこの観音菩薩がＵ字であるならばこの水攻めは盲信する fact18: 仮にこの観音菩薩がＵ字だが御芝居でないとするとこの水攻めは懐こくない fact19: もしこの観音菩薩が開園すればこの水攻めは御芝居だ fact20: 仮にあるものが盲信するとすれば開園する ; $hypothesis$ = この水攻めは懐こい ; $proof$ = 
fact10 & fact1 & fact17 -> int1: この水攻めは盲信する; fact20 -> int2: 仮にこの水攻めが盲信するとしたらそれは開園する; int1 & int2 -> int3: この水攻めは開園する; fact7 -> int4: もしもこの水攻めが開園するとすると懐こい; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にこの観音菩薩は御芝居ならば「この水攻めは盲信する」ということは誤りでない
事実2: でっかい物は賢しくないしフルライン政策上だということはない
事実3: もしもその狐さんが賢しくないしその上それがフルライン政策上だということはないとしたらそれは右ページでない
事実4: この水攻めは千六百字だ
事実5: もし「この水攻めは御芝居である」ということは本当だとするとこの観音菩薩は懐こい
事実6: もしもあの多項式がいがらっぽくないとしたら危なっかしいしでっかい
事実7: 何かは開園すればそれは懐こい
事実8: 仮になにかは盲信するとするとそれは御芝居だ
事実9: 仮にこの中央社会保険医療協議会は記帳するなら「充当す」ということは確かだ
事実10: この観音菩薩は御芝居であるかＵ字であるかあるいは両方ともである
事実11: 懐こいものはＵ字である
事実12: 仮にこの観音菩薩が懐こいとしたらこの水攻めは御芝居である
事実13: その狐さんは右ページでないとすれば「それは婚姻でなくてその上開園しない」ということは成り立たない
事実14: もし仮に「あの多項式はでっかい」ということは事実であるとするとその狐さんはでっかい
事実15: あの多項式はいがらっぽくない
事実16: このメルロー種は盲信する
事実17: もしこの観音菩薩がＵ字であるならばこの水攻めは盲信する
事実18: 仮にこの観音菩薩がＵ字だが御芝居でないとするとこの水攻めは懐こくない
事実19: もしこの観音菩薩が開園すればこの水攻めは御芝居だ
事実20: 仮にあるものが盲信するとすれば開園する

仮説: この水攻めは懐こい
1. 事実10と事実1と事実17から、推論1: "この水攻めは盲信する"が導かれる
2. 事実20から、推論2: "仮にこの水攻めが盲信するとしたらそれは開園する"が導かれる
3. 推論1と推論2から、推論3: "この水攻めは開園する"が導かれる
4. 事実7から、推論4: "もしもこの水攻めが開園するとすると懐こい"が導かれる
5. 推論3と推論4から、仮説が導かれる

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