この使用義務は手厚いし更に粘っこい
fact1: 「「温水でその上付け難い」ということは成り立つということはない」物はある fact2: 「もしもこの使用義務が主イエスでないならこの使用義務は手厚い」ということは事実である fact3: もし「何らかのものは検定結果であるということはないかもしくは賄わないかあるいは両方ともである」ということは誤りであるとしたら一般被保険者でない fact4: この田皮・田骨は航空団である fact5: 仮にとあるものが賄わないならば検定結果でまた一般被保険者だ fact6: 「「温水であるし付け難くない」ということは誤りである」物はある fact7: この遠出は航空団であるとしたら検定結果だ fact8: 仮にこの遠出は一般被保険者であるとするとそれは検定結果でない fact9: 「一般被保険者は求め得る」ということは確かだ fact10: なにがしかの物は賄うし求め得るとすればそれは主イエスであるということはない fact11: もしあるものは一般被保険者だということはないならば「それは手厚くて粘っこい」ということは成り立たない fact12: もし仮にこの田皮・田骨が賄わないとするとこの使用義務は賄うしおまけに求め得る fact13: あのサービス提供は主イエスである fact14: もしもあの共同作品は粘っこいなら「この使用義務は粘っこい」ということは成り立つ fact15: この遠出が一般被保険者でないとすればこの田皮・田骨は賄わない fact16: もしも「「「温水であるがしかし付け難くない」ということは誤りである」ものはある」ということは真実であるならあの共同作品は粘っこい fact17: この遠出は同指数である fact18: この使用義務は賄う fact19: もしこの田皮・田骨が賄わないとするとこの使用義務は賄う fact20: 「この田皮・田骨は求め得ないけれどそれは航空団だ」ということは成り立つということはないならばこの遠出は主イエスでない fact21: この遠出は航空団だ fact22: あの共同作品は検定結果であるしかつ情けない fact23: 付け難くない温水はある fact24: もしあるものが温水だということはないとするとあの共同作品は粘っこい
void -> assump1: 以下のように仮定する。この遠出は一般被保険者だ; fact8 & assump1 -> int1: この遠出は検定結果でない; fact7 & fact21 -> int2: この遠出は検定結果である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この遠出は一般被保険者でない; int4 & fact15 -> int5: この田皮・田骨は賄わない; int5 & fact12 -> int6: この使用義務は賄うしさらに求め得る; fact10 -> int7: もしもこの使用義務が賄うししかもそれは求め得るとすると「それは主イエスであるということはない」ということは偽だということはない; int6 & int7 -> int8: この使用義務は主イエスでない; int8 & fact2 -> int9: この使用義務は手厚い; fact16 & fact6 -> int10: あの共同作品は粘っこい; int10 & fact14 -> int11: この使用義務は粘っこい; int9 & int11 -> hypothesis;
あのサービス提供は求め得る
fact26 -> int12: もしもあのサービス提供は一般被保険者であるとすると求め得る; fact25 -> int13: もしあのサービス提供が賄わないならそれが検定結果だし一般被保険者だ; fact27 -> int14: あのサービス提供は手厚いかまたは主イエスである;
$facts$ = fact1: 「「温水でその上付け難い」ということは成り立つということはない」物はある fact2: 「もしもこの使用義務が主イエスでないならこの使用義務は手厚い」ということは事実である fact3: もし「何らかのものは検定結果であるということはないかもしくは賄わないかあるいは両方ともである」ということは誤りであるとしたら一般被保険者でない fact4: この田皮・田骨は航空団である fact5: 仮にとあるものが賄わないならば検定結果でまた一般被保険者だ fact6: 「「温水であるし付け難くない」ということは誤りである」物はある fact7: この遠出は航空団であるとしたら検定結果だ fact8: 仮にこの遠出は一般被保険者であるとするとそれは検定結果でない fact9: 「一般被保険者は求め得る」ということは確かだ fact10: なにがしかの物は賄うし求め得るとすればそれは主イエスであるということはない fact11: もしあるものは一般被保険者だということはないならば「それは手厚くて粘っこい」ということは成り立たない fact12: もし仮にこの田皮・田骨が賄わないとするとこの使用義務は賄うしおまけに求め得る fact13: あのサービス提供は主イエスである fact14: もしもあの共同作品は粘っこいなら「この使用義務は粘っこい」ということは成り立つ fact15: この遠出が一般被保険者でないとすればこの田皮・田骨は賄わない fact16: もしも「「「温水であるがしかし付け難くない」ということは誤りである」ものはある」ということは真実であるならあの共同作品は粘っこい fact17: この遠出は同指数である fact18: この使用義務は賄う fact19: もしこの田皮・田骨が賄わないとするとこの使用義務は賄う fact20: 「この田皮・田骨は求め得ないけれどそれは航空団だ」ということは成り立つということはないならばこの遠出は主イエスでない fact21: この遠出は航空団だ fact22: あの共同作品は検定結果であるしかつ情けない fact23: 付け難くない温水はある fact24: もしあるものが温水だということはないとするとあの共同作品は粘っこい ; $hypothesis$ = この使用義務は手厚いし更に粘っこい ; $proof$ = 
void -> assump1: 以下のように仮定する。この遠出は一般被保険者だ; fact8 & assump1 -> int1: この遠出は検定結果でない; fact7 & fact21 -> int2: この遠出は検定結果である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この遠出は一般被保険者でない; int4 & fact15 -> int5: この田皮・田骨は賄わない; int5 & fact12 -> int6: この使用義務は賄うしさらに求め得る; fact10 -> int7: もしもこの使用義務が賄うししかもそれは求め得るとすると「それは主イエスであるということはない」ということは偽だということはない; int6 & int7 -> int8: この使用義務は主イエスでない; int8 & fact2 -> int9: この使用義務は手厚い; fact16 & fact6 -> int10: あの共同作品は粘っこい; int10 & fact14 -> int11: この使用義務は粘っこい; int9 & int11 -> hypothesis; __PROVED__
事実1: 「「温水でその上付け難い」ということは成り立つということはない」物はある
事実2: 「もしもこの使用義務が主イエスでないならこの使用義務は手厚い」ということは事実である
事実3: もし「何らかのものは検定結果であるということはないかもしくは賄わないかあるいは両方ともである」ということは誤りであるとしたら一般被保険者でない
事実4: この田皮・田骨は航空団である
事実5: 仮にとあるものが賄わないならば検定結果でまた一般被保険者だ
事実6: 「「温水であるし付け難くない」ということは誤りである」物はある
事実7: この遠出は航空団であるとしたら検定結果だ
事実8: 仮にこの遠出は一般被保険者であるとするとそれは検定結果でない
事実9: 「一般被保険者は求め得る」ということは確かだ
事実10: なにがしかの物は賄うし求め得るとすればそれは主イエスであるということはない
事実11: もしあるものは一般被保険者だということはないならば「それは手厚くて粘っこい」ということは成り立たない
事実12: もし仮にこの田皮・田骨が賄わないとするとこの使用義務は賄うしおまけに求め得る
事実13: あのサービス提供は主イエスである
事実14: もしもあの共同作品は粘っこいなら「この使用義務は粘っこい」ということは成り立つ
事実15: この遠出が一般被保険者でないとすればこの田皮・田骨は賄わない
事実16: もしも「「「温水であるがしかし付け難くない」ということは誤りである」ものはある」ということは真実であるならあの共同作品は粘っこい
事実17: この遠出は同指数である
事実18: この使用義務は賄う
事実19: もしこの田皮・田骨が賄わないとするとこの使用義務は賄う
事実20: 「この田皮・田骨は求め得ないけれどそれは航空団だ」ということは成り立つということはないならばこの遠出は主イエスでない
事実21: この遠出は航空団だ
事実22: あの共同作品は検定結果であるしかつ情けない
事実23: 付け難くない温水はある
事実24: もしあるものが温水だということはないとするとあの共同作品は粘っこい

仮説: この使用義務は手厚いし更に粘っこい
1. 仮定1: 以下のように仮定する。この遠出は一般被保険者だ
2. 事実8と仮定1から、推論1: "この遠出は検定結果でない"が導かれる
3. 事実7と事実21から、推論2: "この遠出は検定結果である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この遠出は一般被保険者でない"が導かれる
6. 推論4と事実15から、推論5: "この田皮・田骨は賄わない"が導かれる
7. 推論5と事実12から、推論6: "この使用義務は賄うしさらに求め得る"が導かれる
8. 事実10から、推論7: "もしもこの使用義務が賄うししかもそれは求め得るとすると「それは主イエスであるということはない」ということは偽だということはない"が導かれる
9. 推論6と推論7から、推論8: "この使用義務は主イエスでない"が導かれる
10. 推論8と事実2から、推論9: "この使用義務は手厚い"が導かれる
11. 事実16と事実6から、推論10: "あの共同作品は粘っこい"が導かれる
12. 推論10と事実14から、推論11: "この使用義務は粘っこい"が導かれる
13. 推論9と推論11から、仮説が導かれる

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