この三田尻は弱々しい
fact1: もし仮にあの青チャートが大人っぽいとするとこの三田尻は大人っぽいけど敵中深くない fact2: 「あの青チャートは行き難いけど感じ易くない」ということは事実と異なるならばあの明治後期は遍数釈である fact3: もしその明治後期が敵中深くないとすると大人っぽくてそれは御存じ無い fact4: もし何らかの物が大人っぽいとしたら遺作である fact5: もしこの三田尻は大人っぽいけれど敵中深くないとすれば御存じ無い fact6: もし「この個人的達成感は冷め易いということはない物で遺作である」ということは真実でないなら遺作でない fact7: もし仮に「何らかのものは弱々しかなくてしかも冷め易いということはない」ということは間違いだとしたらそれは弱々しい fact8: 「この個人的達成感は冷め易くないけど遺作だ」ということは偽だ fact9: あの星図は敵中深い fact10: 行き難いものが感じ易くないならば大人っぽい fact11: 仮にこの一．五ミリメートル以上は仰々しくないとすると「それは弱々しかなくて更に冷め易くない」ということは誤っている fact12: なにがしかのものが水臭いがきな臭くないならこの一．五ミリメートル以上は仰々しくない fact13: もし仮にあるものは遺作ならば「それはアレルギーでないけれど大人っぽい」ということは誤っている fact14: もし仮になにかは遍数釈であるかまたは御存じ無いということはないとすると「それは遺作である」ということは確かである fact15: 御存じ無い物は弱々しい fact16: 「水臭くてまたきな臭いということはない」物はある fact17: もし仮になんらかの物が敵中深いとするとそれは遍数釈であるかまたはそれは御存じ無くない fact18: 仮に「あの青チャートは弱々しいしさらに遍数釈である」ということは嘘であるとするとこの三田尻は弱々しかない fact19: 仮にその明治後期が遍数釈であるとしたらこの個人的達成感は遺作だ
void -> assump1: 以下のように仮定する。「あの青チャートは行き難いがしかし感じ易くない」ということは成り立たない; fact2 & assump1 -> int1: その明治後期は遍数釈だ; int1 & fact19 -> int2: この個人的達成感は遺作である; fact8 & fact6 -> int3: この個人的達成感は遺作でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの青チャートは行き難い一方でそれは感じ易くない; fact10 -> int6: あの青チャートが行き難いけれど感じ易くないとすればそれは大人っぽい; int5 & int6 -> int7: 「あの青チャートは大人っぽい」ということは成り立つ; int7 & fact1 -> int8: この三田尻は大人っぽいけれど敵中深くない; int8 & fact5 -> int9: この三田尻は御存じ無い; fact15 -> int10: もしこの三田尻が御存じ無いとするとそれは弱々しい; int9 & int10 -> hypothesis;
「この一．五ミリメートル以上はアレルギーだということはないがしかし大人っぽい」ということは誤りだ
fact26 -> int11: この一．五ミリメートル以上は遺作だとすると「それはアレルギーでないしそれは大人っぽい」ということは誤りである; fact20 -> int12: もし仮にこの一．五ミリメートル以上は遍数釈であるかあるいは御存じ無いということはないとすれば遺作である; fact22 -> int13: もし仮にこの一．五ミリメートル以上が敵中深いならばそれは遍数釈であるかまたは御存じ無いということはない; fact23 -> int14: もし「この一．五ミリメートル以上は弱々しかなくてしかも冷め易くない」ということは間違いであるとするとそれは弱々しい; fact24 & fact21 -> int15: この一．五ミリメートル以上は仰々しくない; fact25 & int15 -> int16: 「この一．五ミリメートル以上は弱々しかなくてそれは冷め易くない」ということは成り立たない; int14 & int16 -> int17: この一．五ミリメートル以上は弱々しい;
$facts$ = fact1: もし仮にあの青チャートが大人っぽいとするとこの三田尻は大人っぽいけど敵中深くない fact2: 「あの青チャートは行き難いけど感じ易くない」ということは事実と異なるならばあの明治後期は遍数釈である fact3: もしその明治後期が敵中深くないとすると大人っぽくてそれは御存じ無い fact4: もし何らかの物が大人っぽいとしたら遺作である fact5: もしこの三田尻は大人っぽいけれど敵中深くないとすれば御存じ無い fact6: もし「この個人的達成感は冷め易いということはない物で遺作である」ということは真実でないなら遺作でない fact7: もし仮に「何らかのものは弱々しかなくてしかも冷め易いということはない」ということは間違いだとしたらそれは弱々しい fact8: 「この個人的達成感は冷め易くないけど遺作だ」ということは偽だ fact9: あの星図は敵中深い fact10: 行き難いものが感じ易くないならば大人っぽい fact11: 仮にこの一．五ミリメートル以上は仰々しくないとすると「それは弱々しかなくて更に冷め易くない」ということは誤っている fact12: なにがしかのものが水臭いがきな臭くないならこの一．五ミリメートル以上は仰々しくない fact13: もし仮にあるものは遺作ならば「それはアレルギーでないけれど大人っぽい」ということは誤っている fact14: もし仮になにかは遍数釈であるかまたは御存じ無いということはないとすると「それは遺作である」ということは確かである fact15: 御存じ無い物は弱々しい fact16: 「水臭くてまたきな臭いということはない」物はある fact17: もし仮になんらかの物が敵中深いとするとそれは遍数釈であるかまたはそれは御存じ無くない fact18: 仮に「あの青チャートは弱々しいしさらに遍数釈である」ということは嘘であるとするとこの三田尻は弱々しかない fact19: 仮にその明治後期が遍数釈であるとしたらこの個人的達成感は遺作だ ; $hypothesis$ = この三田尻は弱々しい ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの青チャートは行き難いがしかし感じ易くない」ということは成り立たない; fact2 & assump1 -> int1: その明治後期は遍数釈だ; int1 & fact19 -> int2: この個人的達成感は遺作である; fact8 & fact6 -> int3: この個人的達成感は遺作でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの青チャートは行き難い一方でそれは感じ易くない; fact10 -> int6: あの青チャートが行き難いけれど感じ易くないとすればそれは大人っぽい; int5 & int6 -> int7: 「あの青チャートは大人っぽい」ということは成り立つ; int7 & fact1 -> int8: この三田尻は大人っぽいけれど敵中深くない; int8 & fact5 -> int9: この三田尻は御存じ無い; fact15 -> int10: もしこの三田尻が御存じ無いとするとそれは弱々しい; int9 & int10 -> hypothesis; __PROVED__
事実1: もし仮にあの青チャートが大人っぽいとするとこの三田尻は大人っぽいけど敵中深くない
事実2: 「あの青チャートは行き難いけど感じ易くない」ということは事実と異なるならばあの明治後期は遍数釈である
事実3: もしその明治後期が敵中深くないとすると大人っぽくてそれは御存じ無い
事実4: もし何らかの物が大人っぽいとしたら遺作である
事実5: もしこの三田尻は大人っぽいけれど敵中深くないとすれば御存じ無い
事実6: もし「この個人的達成感は冷め易いということはない物で遺作である」ということは真実でないなら遺作でない
事実7: もし仮に「何らかのものは弱々しかなくてしかも冷め易いということはない」ということは間違いだとしたらそれは弱々しい
事実8: 「この個人的達成感は冷め易くないけど遺作だ」ということは偽だ
事実9: あの星図は敵中深い
事実10: 行き難いものが感じ易くないならば大人っぽい
事実11: 仮にこの一．五ミリメートル以上は仰々しくないとすると「それは弱々しかなくて更に冷め易くない」ということは誤っている
事実12: なにがしかのものが水臭いがきな臭くないならこの一．五ミリメートル以上は仰々しくない
事実13: もし仮にあるものは遺作ならば「それはアレルギーでないけれど大人っぽい」ということは誤っている
事実14: もし仮になにかは遍数釈であるかまたは御存じ無いということはないとすると「それは遺作である」ということは確かである
事実15: 御存じ無い物は弱々しい
事実16: 「水臭くてまたきな臭いということはない」物はある
事実17: もし仮になんらかの物が敵中深いとするとそれは遍数釈であるかまたはそれは御存じ無くない
事実18: 仮に「あの青チャートは弱々しいしさらに遍数釈である」ということは嘘であるとするとこの三田尻は弱々しかない
事実19: 仮にその明治後期が遍数釈であるとしたらこの個人的達成感は遺作だ

仮説: この三田尻は弱々しい
1. 仮定1: 以下のように仮定する。「あの青チャートは行き難いがしかし感じ易くない」ということは成り立たない
2. 事実2と仮定1から、推論1: "その明治後期は遍数釈だ"が導かれる
3. 推論1と事実19から、推論2: "この個人的達成感は遺作である"が導かれる
4. 事実8と事実6から、推論3: "この個人的達成感は遺作でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの青チャートは行き難い一方でそれは感じ易くない"が導かれる
7. 事実10から、推論6: "あの青チャートが行き難いけれど感じ易くないとすればそれは大人っぽい"が導かれる
8. 推論5と推論6から、推論7: "「あの青チャートは大人っぽい」ということは成り立つ"が導かれる
9. 推論7と事実1から、推論8: "この三田尻は大人っぽいけれど敵中深くない"が導かれる
10. 推論8と事実5から、推論9: "この三田尻は御存じ無い"が導かれる
11. 事実15から、推論10: "もしこの三田尻が御存じ無いとするとそれは弱々しい"が導かれる
12. 推論9と推論10から、仮説が導かれる

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