その両王は辛抱強い
fact1: もし仮にこのインＳが寄与出来るということはないとしたらその両王は誤嚥するけれど寄与出来ない fact2: 「このインＳは賢い」ということは成り立つ fact3: もし「何かは人恋しくなくて国際調査機関でない」ということは成り立たないとすると「それは辛抱強くない」ということは成り立つ fact4: もしもなにがしかの物は砕石位であるなら「それは人恋しくなくて国際調査機関でない」ということは誤りだ fact5: もしもこのインＳはメル友であるとすれば砕石位である fact6: このインＳがメル友でないならその両王は砕石位であるしおまけに誤嚥する fact7: 仮に「このインＳはメル友でないしまた大満足しない」ということは誤っているとするとそれはメル友である fact8: もし「「大満足しない」ということは成り立つ」物はあれば「その両王はメル友であるがしかし辛抱強くない」ということは間違っている fact9: もしもなにがしかのものが国際調査機関でないかもしくは人恋しいかどちらもであるなら「砕石位でない」ということは本当である fact10: もしも「このインＳは賢い」ということは成り立つとしたら「メル友でなくてまた大満足しない」ということは成り立たない fact11: もし仮に「このインＳは寄与出来なくて趣味知識でない」ということは事実と異なれば「それは国際調査機関でない」ということは本当である fact12: もし仮にその両王が誤嚥しないならこのインＳは国際調査機関でないけれど砕石位だ fact13: もしも「この留意事項は苦笑いだ一方で賢くない」ということは成り立たないならばこのガス消費量は大満足しない fact14: もし仮にあるものが人恋しいということはないならばそれは素早いしそれに構成し得ない fact15: もしなにかは苦笑いでないとすると「この留意事項が苦笑いだけどそれは賢くない」ということは間違いだ fact16: 「苦笑いであるということはない」ものはある fact17: もし仮に何らかの物が誤嚥するがしかし寄与出来ないならば「辛抱強い」ということは事実である fact18: 仮にこの留意事項は賢いならば「このガス消費量はメル友だけれどそれは大満足しない」ということは誤りだ
void -> assump1: 以下のように仮定する。「このインＳは寄与出来ないし加えてそれは趣味知識でない」ということは成り立たない; fact11 & assump1 -> int1: 「このインＳは国際調査機関でない」ということは確かだ; int1 -> int2: 「このインＳは国際調査機関でないかまたはそれは人恋しいかどちらもである」ということは事実と異ならない; fact9 -> int3: もしもこのインＳが国際調査機関でないかもしくはそれは人恋しいかもしくはどちらもだとすればそれは砕石位でない; int2 & int3 -> int4: このインＳは砕石位でない; fact10 & fact2 -> int5: 「このインＳはメル友でないしおまけに大満足するということはない」ということは事実でない; fact7 & int5 -> int6: このインＳはメル友である; fact5 & int6 -> int7: このインＳは砕石位だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: このインＳは寄与出来ないし趣味知識でない; int9 -> int10: このインＳは寄与出来ない; int10 & fact1 -> int11: その両王は誤嚥するがしかしそれは寄与出来ない; fact17 -> int12: もしその両王が誤嚥するがそれが寄与出来ないとするとそれは辛抱強い; int11 & int12 -> hypothesis;
このインＳは素早いがしかしそれは構成し得ない
fact20 -> int13: もしこのインＳが人恋しいということはないならばそれは素早いしまたそれは構成し得ない; fact19 & fact24 -> int14: 「「この留意事項は苦笑いであるけど賢くない」ということは成り立つ」ということは誤りだ; fact22 & int14 -> int15: このガス消費量は大満足しない; int15 -> int16: 「大満足するということはない」物はある; int16 & fact23 -> int17: 「その両王はメル友であるがしかし辛抱強くない」ということは成り立たない;
$facts$ = fact1: もし仮にこのインＳが寄与出来るということはないとしたらその両王は誤嚥するけれど寄与出来ない fact2: 「このインＳは賢い」ということは成り立つ fact3: もし「何かは人恋しくなくて国際調査機関でない」ということは成り立たないとすると「それは辛抱強くない」ということは成り立つ fact4: もしもなにがしかの物は砕石位であるなら「それは人恋しくなくて国際調査機関でない」ということは誤りだ fact5: もしもこのインＳはメル友であるとすれば砕石位である fact6: このインＳがメル友でないならその両王は砕石位であるしおまけに誤嚥する fact7: 仮に「このインＳはメル友でないしまた大満足しない」ということは誤っているとするとそれはメル友である fact8: もし「「大満足しない」ということは成り立つ」物はあれば「その両王はメル友であるがしかし辛抱強くない」ということは間違っている fact9: もしもなにがしかのものが国際調査機関でないかもしくは人恋しいかどちらもであるなら「砕石位でない」ということは本当である fact10: もしも「このインＳは賢い」ということは成り立つとしたら「メル友でなくてまた大満足しない」ということは成り立たない fact11: もし仮に「このインＳは寄与出来なくて趣味知識でない」ということは事実と異なれば「それは国際調査機関でない」ということは本当である fact12: もし仮にその両王が誤嚥しないならこのインＳは国際調査機関でないけれど砕石位だ fact13: もしも「この留意事項は苦笑いだ一方で賢くない」ということは成り立たないならばこのガス消費量は大満足しない fact14: もし仮にあるものが人恋しいということはないならばそれは素早いしそれに構成し得ない fact15: もしなにかは苦笑いでないとすると「この留意事項が苦笑いだけどそれは賢くない」ということは間違いだ fact16: 「苦笑いであるということはない」ものはある fact17: もし仮に何らかの物が誤嚥するがしかし寄与出来ないならば「辛抱強い」ということは事実である fact18: 仮にこの留意事項は賢いならば「このガス消費量はメル友だけれどそれは大満足しない」ということは誤りだ ; $hypothesis$ = その両王は辛抱強い ; $proof$ = 
void -> assump1: 以下のように仮定する。「このインＳは寄与出来ないし加えてそれは趣味知識でない」ということは成り立たない; fact11 & assump1 -> int1: 「このインＳは国際調査機関でない」ということは確かだ; int1 -> int2: 「このインＳは国際調査機関でないかまたはそれは人恋しいかどちらもである」ということは事実と異ならない; fact9 -> int3: もしもこのインＳが国際調査機関でないかもしくはそれは人恋しいかもしくはどちらもだとすればそれは砕石位でない; int2 & int3 -> int4: このインＳは砕石位でない; fact10 & fact2 -> int5: 「このインＳはメル友でないしおまけに大満足するということはない」ということは事実でない; fact7 & int5 -> int6: このインＳはメル友である; fact5 & int6 -> int7: このインＳは砕石位だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: このインＳは寄与出来ないし趣味知識でない; int9 -> int10: このインＳは寄与出来ない; int10 & fact1 -> int11: その両王は誤嚥するがしかしそれは寄与出来ない; fact17 -> int12: もしその両王が誤嚥するがそれが寄与出来ないとするとそれは辛抱強い; int11 & int12 -> hypothesis; __PROVED__
事実1: もし仮にこのインＳが寄与出来るということはないとしたらその両王は誤嚥するけれど寄与出来ない
事実2: 「このインＳは賢い」ということは成り立つ
事実3: もし「何かは人恋しくなくて国際調査機関でない」ということは成り立たないとすると「それは辛抱強くない」ということは成り立つ
事実4: もしもなにがしかの物は砕石位であるなら「それは人恋しくなくて国際調査機関でない」ということは誤りだ
事実5: もしもこのインＳはメル友であるとすれば砕石位である
事実6: このインＳがメル友でないならその両王は砕石位であるしおまけに誤嚥する
事実7: 仮に「このインＳはメル友でないしまた大満足しない」ということは誤っているとするとそれはメル友である
事実8: もし「「大満足しない」ということは成り立つ」物はあれば「その両王はメル友であるがしかし辛抱強くない」ということは間違っている
事実9: もしもなにがしかのものが国際調査機関でないかもしくは人恋しいかどちらもであるなら「砕石位でない」ということは本当である
事実10: もしも「このインＳは賢い」ということは成り立つとしたら「メル友でなくてまた大満足しない」ということは成り立たない
事実11: もし仮に「このインＳは寄与出来なくて趣味知識でない」ということは事実と異なれば「それは国際調査機関でない」ということは本当である
事実12: もし仮にその両王が誤嚥しないならこのインＳは国際調査機関でないけれど砕石位だ
事実13: もしも「この留意事項は苦笑いだ一方で賢くない」ということは成り立たないならばこのガス消費量は大満足しない
事実14: もし仮にあるものが人恋しいということはないならばそれは素早いしそれに構成し得ない
事実15: もしなにかは苦笑いでないとすると「この留意事項が苦笑いだけどそれは賢くない」ということは間違いだ
事実16: 「苦笑いであるということはない」ものはある
事実17: もし仮に何らかの物が誤嚥するがしかし寄与出来ないならば「辛抱強い」ということは事実である
事実18: 仮にこの留意事項は賢いならば「このガス消費量はメル友だけれどそれは大満足しない」ということは誤りだ

仮説: その両王は辛抱強い
1. 仮定1: 以下のように仮定する。「このインＳは寄与出来ないし加えてそれは趣味知識でない」ということは成り立たない
2. 事実11と仮定1から、推論1: "「このインＳは国際調査機関でない」ということは確かだ"が導かれる
3. 推論1から、推論2: "「このインＳは国際調査機関でないかまたはそれは人恋しいかどちらもである」ということは事実と異ならない"が導かれる
4. 事実9から、推論3: "もしもこのインＳが国際調査機関でないかもしくはそれは人恋しいかもしくはどちらもだとすればそれは砕石位でない"が導かれる
5. 推論2と推論3から、推論4: "このインＳは砕石位でない"が導かれる
6. 事実10と事実2から、推論5: "「このインＳはメル友でないしおまけに大満足するということはない」ということは事実でない"が導かれる
7. 事実7と推論5から、推論6: "このインＳはメル友である"が導かれる
8. 事実5と推論6から、推論7: "このインＳは砕石位だ"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "このインＳは寄与出来ないし趣味知識でない"が導かれる
11. 推論9から、推論10: "このインＳは寄与出来ない"が導かれる
12. 推論10と事実1から、推論11: "その両王は誤嚥するがしかしそれは寄与出来ない"が導かれる
13. 事実17から、推論12: "もしその両王が誤嚥するがそれが寄与出来ないとするとそれは辛抱強い"が導かれる
14. 推論11と推論12から、仮説が導かれる

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