その御桃は乳母でない
fact1: 仮に「あの最大判昭は考え易い」ということは真実であるとすれば前頭前野機能でないしおまけに気付かない fact2: 仮にとある物がニー・ハイト・シャトルでないならその御桃は放出出来るしたわいない fact3: 「ニー・ハイト・シャトルだということはない」物はある fact4: 仮にあの最大判昭は前頭前野機能でないならそれはニー・ハイト・シャトルでない fact5: 仮にこの女性比率が性効でないがしかしそれが乳母だとするとこの五十二型は性効でない fact6: もし仮にとある物が乳母だしそれに性効だとすればそれはたわいなくない fact7: もしもこの女性比率がすごーいならそれはニー・ハイト・シャトルだ fact8: 仮に「何らかのものは冷め難くないかまたはそれは押さえ兼ねないかまたは両方ともである」ということは間違っているとしたらたわいないということはない fact9: 「すごーくない」物はある fact10: もし仮にとある物が放出出来ないなら性効でその上たわいない fact11: その御桃が押さえ兼ねるならこの女性比率は乳母だ fact12: 「涼める」物はある fact13: もしもこの女性比率がニー・ハイト・シャトルなら放出出来る fact14: もしもこの女性比率は性効だとすれば「その御桃は冷め難いか押さえ兼ねない」ということは間違いだ fact15: もし「とある物は冷め難いかまたは押さえ兼ねないかあるいは両方である」ということは偽であるとすれば乳母である fact16: 仮にこの女性比率は冷め難いとすると「その御桃は性効だ」ということは事実である fact17: この女性比率は押さえ兼ねるしおまけに冷め難い fact18: もしあの最大判昭がニー・ハイト・シャトルでないがしかし放出出来るとすればこの女性比率は放出出来ない
fact17 -> int1: この女性比率は冷め難い; int1 & fact16 -> int2: その御桃は性効だ; void -> assump1: 以下のように仮定する。「その御桃は乳母である」ということは事実だ; int2 & assump1 -> int3: その御桃は乳母であるし性効である; fact6 -> int4: その御桃は乳母であるし性効だとするとそれはたわいないということはない; int3 & int4 -> int5: その御桃はたわいなくない; fact2 & fact3 -> int6: その御桃は放出出来るしたわいない; int6 -> int7: その御桃はたわいない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
その御桃は乳母だ
fact19 -> int9: 仮に「その御桃は冷め難いか押さえ兼ねない」ということは成り立たないならばそれは乳母だ; fact21 -> int10: 仮にこの女性比率が放出出来ないなら性効でたわいない;
$facts$ = fact1: 仮に「あの最大判昭は考え易い」ということは真実であるとすれば前頭前野機能でないしおまけに気付かない fact2: 仮にとある物がニー・ハイト・シャトルでないならその御桃は放出出来るしたわいない fact3: 「ニー・ハイト・シャトルだということはない」物はある fact4: 仮にあの最大判昭は前頭前野機能でないならそれはニー・ハイト・シャトルでない fact5: 仮にこの女性比率が性効でないがしかしそれが乳母だとするとこの五十二型は性効でない fact6: もし仮にとある物が乳母だしそれに性効だとすればそれはたわいなくない fact7: もしもこの女性比率がすごーいならそれはニー・ハイト・シャトルだ fact8: 仮に「何らかのものは冷め難くないかまたはそれは押さえ兼ねないかまたは両方ともである」ということは間違っているとしたらたわいないということはない fact9: 「すごーくない」物はある fact10: もし仮にとある物が放出出来ないなら性効でその上たわいない fact11: その御桃が押さえ兼ねるならこの女性比率は乳母だ fact12: 「涼める」物はある fact13: もしもこの女性比率がニー・ハイト・シャトルなら放出出来る fact14: もしもこの女性比率は性効だとすれば「その御桃は冷め難いか押さえ兼ねない」ということは間違いだ fact15: もし「とある物は冷め難いかまたは押さえ兼ねないかあるいは両方である」ということは偽であるとすれば乳母である fact16: 仮にこの女性比率は冷め難いとすると「その御桃は性効だ」ということは事実である fact17: この女性比率は押さえ兼ねるしおまけに冷め難い fact18: もしあの最大判昭がニー・ハイト・シャトルでないがしかし放出出来るとすればこの女性比率は放出出来ない ; $hypothesis$ = その御桃は乳母でない ; $proof$ = 
fact17 -> int1: この女性比率は冷め難い; int1 & fact16 -> int2: その御桃は性効だ; void -> assump1: 以下のように仮定する。「その御桃は乳母である」ということは事実だ; int2 & assump1 -> int3: その御桃は乳母であるし性効である; fact6 -> int4: その御桃は乳母であるし性効だとするとそれはたわいないということはない; int3 & int4 -> int5: その御桃はたわいなくない; fact2 & fact3 -> int6: その御桃は放出出来るしたわいない; int6 -> int7: その御桃はたわいない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: 仮に「あの最大判昭は考え易い」ということは真実であるとすれば前頭前野機能でないしおまけに気付かない
事実2: 仮にとある物がニー・ハイト・シャトルでないならその御桃は放出出来るしたわいない
事実3: 「ニー・ハイト・シャトルだということはない」物はある
事実4: 仮にあの最大判昭は前頭前野機能でないならそれはニー・ハイト・シャトルでない
事実5: 仮にこの女性比率が性効でないがしかしそれが乳母だとするとこの五十二型は性効でない
事実6: もし仮にとある物が乳母だしそれに性効だとすればそれはたわいなくない
事実7: もしもこの女性比率がすごーいならそれはニー・ハイト・シャトルだ
事実8: 仮に「何らかのものは冷め難くないかまたはそれは押さえ兼ねないかまたは両方ともである」ということは間違っているとしたらたわいないということはない
事実9: 「すごーくない」物はある
事実10: もし仮にとある物が放出出来ないなら性効でその上たわいない
事実11: その御桃が押さえ兼ねるならこの女性比率は乳母だ
事実12: 「涼める」物はある
事実13: もしもこの女性比率がニー・ハイト・シャトルなら放出出来る
事実14: もしもこの女性比率は性効だとすれば「その御桃は冷め難いか押さえ兼ねない」ということは間違いだ
事実15: もし「とある物は冷め難いかまたは押さえ兼ねないかあるいは両方である」ということは偽であるとすれば乳母である
事実16: 仮にこの女性比率は冷め難いとすると「その御桃は性効だ」ということは事実である
事実17: この女性比率は押さえ兼ねるしおまけに冷め難い
事実18: もしあの最大判昭がニー・ハイト・シャトルでないがしかし放出出来るとすればこの女性比率は放出出来ない

仮説: その御桃は乳母でない
1. 事実17から、推論1: "この女性比率は冷め難い"が導かれる
2. 推論1と事実16から、推論2: "その御桃は性効だ"が導かれる
3. 仮定1: 以下のように仮定する。「その御桃は乳母である」ということは事実だ
4. 推論2と仮定1から、推論3: "その御桃は乳母であるし性効である"が導かれる
5. 事実6から、推論4: "その御桃は乳母であるし性効だとするとそれはたわいないということはない"が導かれる
6. 推論3と推論4から、推論5: "その御桃はたわいなくない"が導かれる
7. 事実2と事実3から、推論6: "その御桃は放出出来るしたわいない"が導かれる
8. 推論6から、推論7: "その御桃はたわいない"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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