あの牛埋葬坑は変わるしそれは解し難い
fact1: 仮にこの鹿島大尉が愛しいとするとあの牛埋葬坑は愛しい fact2: もしも「その回想録は分かり易くない」ということは成り立てばあの牛埋葬坑は通じ易い fact3: あの無自覚は解消する fact4: もしもあの牛埋葬坑が解消しないならその回想録は通じ易くてそれは解し難い fact5: もしも何かは言い尽くすししかも泣き伏せばこの鹿島大尉は愛しい fact6: その回想録は都岐娑羅柵であるしそれは愛しい fact7: もし「あの牛埋葬坑は捕らえ易いということはない」ということは事実であるとしたら「変わるししかもそれは解し難い」ということは事実と異なる fact8: もし仮にその回想録が分かり易いということはないとしたらあの牛埋葬坑は解し難くて通じ易い fact9: その回想録は国境沿いでまた言い尽くす fact10: 愛しいものは変わる fact11: その占星術師は愛しいということはない fact12: 仮にその五十ＰＰＭ以上が捕らえ易いということはないとすればその回想録は分かり易くないけれど解消する fact13: なにがしかのものは言い尽くすしおまけに泣き伏す fact14: その回想録は愛しいし更に解消する fact15: その五十ＰＰＭ以上は捕らえ易くない fact16: その五十ＰＰＭ以上はすっごい fact17: 仮にその五十ＰＰＭ以上は捕らえ易くないならば「その回想録は解消する」ということは事実だ fact18: 仮にあの牛埋葬坑が愛しいならばそれは分かり易い fact19: もし「解消するしかつ分かり易い」物があればその回想録は愛しい fact20: 「言い尽くす」ものはある fact21: この鹿島大尉は設営するし五歳児だ
fact12 & fact15 -> int1: その回想録は分かり易くないがしかし解消する; int1 -> int2: その回想録は分かり易くない; int2 & fact8 -> int3: あの牛埋葬坑が解し難いしその上通じ易い; int3 -> int4: あの牛埋葬坑は解し難い; fact10 -> int5: もし「あの牛埋葬坑は愛しい」ということは偽でないとするとそれは変わる; fact13 & fact5 -> int6: この鹿島大尉は愛しい; fact1 & int6 -> int7: あの牛埋葬坑は愛しい; int5 & int7 -> int8: あの牛埋葬坑は変わる; int4 & int8 -> hypothesis;
「あの牛埋葬坑は変わるし加えて解し難い」ということは間違っている
$facts$ = fact1: 仮にこの鹿島大尉が愛しいとするとあの牛埋葬坑は愛しい fact2: もしも「その回想録は分かり易くない」ということは成り立てばあの牛埋葬坑は通じ易い fact3: あの無自覚は解消する fact4: もしもあの牛埋葬坑が解消しないならその回想録は通じ易くてそれは解し難い fact5: もしも何かは言い尽くすししかも泣き伏せばこの鹿島大尉は愛しい fact6: その回想録は都岐娑羅柵であるしそれは愛しい fact7: もし「あの牛埋葬坑は捕らえ易いということはない」ということは事実であるとしたら「変わるししかもそれは解し難い」ということは事実と異なる fact8: もし仮にその回想録が分かり易いということはないとしたらあの牛埋葬坑は解し難くて通じ易い fact9: その回想録は国境沿いでまた言い尽くす fact10: 愛しいものは変わる fact11: その占星術師は愛しいということはない fact12: 仮にその五十ＰＰＭ以上が捕らえ易いということはないとすればその回想録は分かり易くないけれど解消する fact13: なにがしかのものは言い尽くすしおまけに泣き伏す fact14: その回想録は愛しいし更に解消する fact15: その五十ＰＰＭ以上は捕らえ易くない fact16: その五十ＰＰＭ以上はすっごい fact17: 仮にその五十ＰＰＭ以上は捕らえ易くないならば「その回想録は解消する」ということは事実だ fact18: 仮にあの牛埋葬坑が愛しいならばそれは分かり易い fact19: もし「解消するしかつ分かり易い」物があればその回想録は愛しい fact20: 「言い尽くす」ものはある fact21: この鹿島大尉は設営するし五歳児だ ; $hypothesis$ = あの牛埋葬坑は変わるしそれは解し難い ; $proof$ = 
fact12 & fact15 -> int1: その回想録は分かり易くないがしかし解消する; int1 -> int2: その回想録は分かり易くない; int2 & fact8 -> int3: あの牛埋葬坑が解し難いしその上通じ易い; int3 -> int4: あの牛埋葬坑は解し難い; fact10 -> int5: もし「あの牛埋葬坑は愛しい」ということは偽でないとするとそれは変わる; fact13 & fact5 -> int6: この鹿島大尉は愛しい; fact1 & int6 -> int7: あの牛埋葬坑は愛しい; int5 & int7 -> int8: あの牛埋葬坑は変わる; int4 & int8 -> hypothesis; __PROVED__
事実1: 仮にこの鹿島大尉が愛しいとするとあの牛埋葬坑は愛しい
事実2: もしも「その回想録は分かり易くない」ということは成り立てばあの牛埋葬坑は通じ易い
事実3: あの無自覚は解消する
事実4: もしもあの牛埋葬坑が解消しないならその回想録は通じ易くてそれは解し難い
事実5: もしも何かは言い尽くすししかも泣き伏せばこの鹿島大尉は愛しい
事実6: その回想録は都岐娑羅柵であるしそれは愛しい
事実7: もし「あの牛埋葬坑は捕らえ易いということはない」ということは事実であるとしたら「変わるししかもそれは解し難い」ということは事実と異なる
事実8: もし仮にその回想録が分かり易いということはないとしたらあの牛埋葬坑は解し難くて通じ易い
事実9: その回想録は国境沿いでまた言い尽くす
事実10: 愛しいものは変わる
事実11: その占星術師は愛しいということはない
事実12: 仮にその五十ＰＰＭ以上が捕らえ易いということはないとすればその回想録は分かり易くないけれど解消する
事実13: なにがしかのものは言い尽くすしおまけに泣き伏す
事実14: その回想録は愛しいし更に解消する
事実15: その五十ＰＰＭ以上は捕らえ易くない
事実16: その五十ＰＰＭ以上はすっごい
事実17: 仮にその五十ＰＰＭ以上は捕らえ易くないならば「その回想録は解消する」ということは事実だ
事実18: 仮にあの牛埋葬坑が愛しいならばそれは分かり易い
事実19: もし「解消するしかつ分かり易い」物があればその回想録は愛しい
事実20: 「言い尽くす」ものはある
事実21: この鹿島大尉は設営するし五歳児だ

仮説: あの牛埋葬坑は変わるしそれは解し難い
1. 事実12と事実15から、推論1: "その回想録は分かり易くないがしかし解消する"が導かれる
2. 推論1から、推論2: "その回想録は分かり易くない"が導かれる
3. 推論2と事実8から、推論3: "あの牛埋葬坑が解し難いしその上通じ易い"が導かれる
4. 推論3から、推論4: "あの牛埋葬坑は解し難い"が導かれる
5. 事実10から、推論5: "もし「あの牛埋葬坑は愛しい」ということは偽でないとするとそれは変わる"が導かれる
6. 事実13と事実5から、推論6: "この鹿島大尉は愛しい"が導かれる
7. 事実1と推論6から、推論7: "あの牛埋葬坑は愛しい"が導かれる
8. 推論5と推論7から、推論8: "あの牛埋葬坑は変わる"が導かれる
9. 推論4と推論8から、仮説が導かれる

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