その地図リンクは照応する
fact1: 「この人家は止む無しし走り易い」ということは誤っている fact2: 「もし止む無しかあるいは図々しい物があるとすればあの地図リンクは照応する」ということは確かである fact3: 「疎ましいものは図々しい」ということは成り立つ fact4: もしもその陳腐化が白色卵黄であるけど開拓しないとすればこの人家は女々しい fact5: 仮に「この人家は止む無ししそれにそれは走り易い」ということは間違っているとすればその陳腐化は止む無くない fact6: 仮に「あるものは疎ましくらないかもしくはそれは図々しかない」ということは嘘であるとすれば「白色卵黄でない」ということは成り立つ fact7: もしも「その第三セクターは殺めないけどそれは無添加だ」ということは間違いならばこの時間割は開拓する fact8: 「その第三セクターは殺めないけど無添加である」ということは誤っている fact9: この時間割が開拓するとするとその陳腐化は白色卵黄であるが開拓しない fact10: 女々しいものは疎ましい
fact7 & fact8 -> int1: この時間割は開拓する; int1 & fact9 -> int2: その陳腐化は白色卵黄だがしかし開拓しない; int2 & fact4 -> int3: この人家は女々しい; fact10 -> int4: もしもこの人家が女々しいとすればそれは疎ましい; int3 & int4 -> int5: 「この人家は疎ましい」ということは事実である; fact3 -> int6: この人家が疎ましいなら図々しい; int5 & int6 -> int7: 「この人家は図々しい」ということは成り立つ; int7 -> int8: この人家は止む無しかもしくはそれは図々しいかあるいは両方である; int8 -> int9: あるものは止む無しかまたは図々しいか両方ともである; int9 & fact2 -> hypothesis;
「その地図リンクは照応しない」ということは成り立つ
fact12 -> int10: 「この時間割は疎ましくらないかまたは図々しいということはない」ということは成り立つということはないならばそれは白色卵黄でない; fact13 & fact11 -> int11: その陳腐化は止む無くない;
$facts$ = fact1: 「この人家は止む無しし走り易い」ということは誤っている fact2: 「もし止む無しかあるいは図々しい物があるとすればあの地図リンクは照応する」ということは確かである fact3: 「疎ましいものは図々しい」ということは成り立つ fact4: もしもその陳腐化が白色卵黄であるけど開拓しないとすればこの人家は女々しい fact5: 仮に「この人家は止む無ししそれにそれは走り易い」ということは間違っているとすればその陳腐化は止む無くない fact6: 仮に「あるものは疎ましくらないかもしくはそれは図々しかない」ということは嘘であるとすれば「白色卵黄でない」ということは成り立つ fact7: もしも「その第三セクターは殺めないけどそれは無添加だ」ということは間違いならばこの時間割は開拓する fact8: 「その第三セクターは殺めないけど無添加である」ということは誤っている fact9: この時間割が開拓するとするとその陳腐化は白色卵黄であるが開拓しない fact10: 女々しいものは疎ましい ; $hypothesis$ = その地図リンクは照応する ; $proof$ = 
fact7 & fact8 -> int1: この時間割は開拓する; int1 & fact9 -> int2: その陳腐化は白色卵黄だがしかし開拓しない; int2 & fact4 -> int3: この人家は女々しい; fact10 -> int4: もしもこの人家が女々しいとすればそれは疎ましい; int3 & int4 -> int5: 「この人家は疎ましい」ということは事実である; fact3 -> int6: この人家が疎ましいなら図々しい; int5 & int6 -> int7: 「この人家は図々しい」ということは成り立つ; int7 -> int8: この人家は止む無しかもしくはそれは図々しいかあるいは両方である; int8 -> int9: あるものは止む無しかまたは図々しいか両方ともである; int9 & fact2 -> hypothesis; __PROVED__
事実1: 「この人家は止む無しし走り易い」ということは誤っている
事実2: 「もし止む無しかあるいは図々しい物があるとすればあの地図リンクは照応する」ということは確かである
事実3: 「疎ましいものは図々しい」ということは成り立つ
事実4: もしもその陳腐化が白色卵黄であるけど開拓しないとすればこの人家は女々しい
事実5: 仮に「この人家は止む無ししそれにそれは走り易い」ということは間違っているとすればその陳腐化は止む無くない
事実6: 仮に「あるものは疎ましくらないかもしくはそれは図々しかない」ということは嘘であるとすれば「白色卵黄でない」ということは成り立つ
事実7: もしも「その第三セクターは殺めないけどそれは無添加だ」ということは間違いならばこの時間割は開拓する
事実8: 「その第三セクターは殺めないけど無添加である」ということは誤っている
事実9: この時間割が開拓するとするとその陳腐化は白色卵黄であるが開拓しない
事実10: 女々しいものは疎ましい

仮説: その地図リンクは照応する
1. 事実7と事実8から、推論1: "この時間割は開拓する"が導かれる
2. 推論1と事実9から、推論2: "その陳腐化は白色卵黄だがしかし開拓しない"が導かれる
3. 推論2と事実4から、推論3: "この人家は女々しい"が導かれる
4. 事実10から、推論4: "もしもこの人家が女々しいとすればそれは疎ましい"が導かれる
5. 推論3と推論4から、推論5: "「この人家は疎ましい」ということは事実である"が導かれる
6. 事実3から、推論6: "この人家が疎ましいなら図々しい"が導かれる
7. 推論5と推論6から、推論7: "「この人家は図々しい」ということは成り立つ"が導かれる
8. 推論7から、推論8: "この人家は止む無しかもしくはそれは図々しいかあるいは両方である"が導かれる
9. 推論8から、推論9: "あるものは止む無しかまたは図々しいか両方ともである"が導かれる
10. 推論9と事実2から、仮説が導かれる

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