この複雑怪奇は共済契約者でない
fact1: なにかは投身する fact2: もし何かは接着するなら投身するということはなくてかつ案じない fact3: もし仮にこの名前ボックスが働き易いということはないとすればそれが接着するしその上それは尽き果てる fact4: もし仮になにがしかの物は密入国でないとしたらそれは良血でないかまたは働き易いか両方だ fact5: もしこの複雑怪奇が働き易くないとすると共済契約者でない fact6: その品質は再開発するしさらにそれは差し替える fact7: もし仮にその落としは密入国でないとすると英文タイピストでない fact8: 仮にその課税時期が良血でないかもしくは働き易いかもしくはどちらもであるとするとこの名前ボックスは働き易くない fact9: あの変革期は投身しない fact10: もしも「「何らかの物は共済契約者でないけどそれは投身する」ということは成り立つ」ということは成り立たないとしたら共済契約者である fact11: この複雑怪奇は案じない fact12: 仮に「「良血だ一方で共済契約者でない」ということは誤っている」物があるとすればあの複雑怪奇は密入国である fact13: 仮にこの名前ボックスは尽き果てるなら「この複雑怪奇は密入国だけれど尽き果てない」ということは間違っている fact14: もし「その品質は再開発する」ということは本当であるとするとそれは操作し易くない fact15: 「この複雑怪奇は密入国だがしかし尽き果てるということはない」ということは間違いなら「働き易くない」ということは確かである fact16: もしこの名前ボックスが投身しないとすればその大小便は止み難くないがしかし尽き果てる fact17: 仮になにかは案じないが接着するとすれば尽き果てる fact18: 仮に「投身する」物があればこの名前ボックスは案じるということはないがしかし接着する fact19: 仮に「密入国である」物はあるなら「この名前ボックスは密入国でなくてまた働き易くない」ということは間違いである fact20: その品質は飛散する fact21: 仮にその品質は飛散すれば「その課税時期は良血だがしかし共済契約者でない」ということは誤りだ
fact1 & fact18 -> int1: この名前ボックスは案じないけれどそれは接着する; fact17 -> int2: この名前ボックスが案じないがしかし接着するとしたらそれは尽き果てる; int1 & int2 -> int3: 「この名前ボックスは尽き果てる」ということは事実だ; int3 & fact13 -> int4: 「この複雑怪奇は密入国であるけど尽き果てない」ということは正しくない; int4 & fact15 -> int5: 「この複雑怪奇は働き易くない」ということは間違いでない; int5 & fact5 -> hypothesis;
この複雑怪奇は共済契約者である
fact27 -> int6: もしも「この複雑怪奇は共済契約者でないがしかし投身する」ということは嘘であるなら「共済契約者だ」ということは成り立つ; fact26 -> int7: 「その課税時期は密入国でない」ということは事実であるとしたら良血でないかそれは働き易いかもしくはどちらもだ; fact23 -> int8: その品質は再開発する; fact24 & int8 -> int9: その品質は操作し易くない; int9 -> int10: とあるものは操作し易いということはない;
$facts$ = fact1: なにかは投身する fact2: もし何かは接着するなら投身するということはなくてかつ案じない fact3: もし仮にこの名前ボックスが働き易いということはないとすればそれが接着するしその上それは尽き果てる fact4: もし仮になにがしかの物は密入国でないとしたらそれは良血でないかまたは働き易いか両方だ fact5: もしこの複雑怪奇が働き易くないとすると共済契約者でない fact6: その品質は再開発するしさらにそれは差し替える fact7: もし仮にその落としは密入国でないとすると英文タイピストでない fact8: 仮にその課税時期が良血でないかもしくは働き易いかもしくはどちらもであるとするとこの名前ボックスは働き易くない fact9: あの変革期は投身しない fact10: もしも「「何らかの物は共済契約者でないけどそれは投身する」ということは成り立つ」ということは成り立たないとしたら共済契約者である fact11: この複雑怪奇は案じない fact12: 仮に「「良血だ一方で共済契約者でない」ということは誤っている」物があるとすればあの複雑怪奇は密入国である fact13: 仮にこの名前ボックスは尽き果てるなら「この複雑怪奇は密入国だけれど尽き果てない」ということは間違っている fact14: もし「その品質は再開発する」ということは本当であるとするとそれは操作し易くない fact15: 「この複雑怪奇は密入国だがしかし尽き果てるということはない」ということは間違いなら「働き易くない」ということは確かである fact16: もしこの名前ボックスが投身しないとすればその大小便は止み難くないがしかし尽き果てる fact17: 仮になにかは案じないが接着するとすれば尽き果てる fact18: 仮に「投身する」物があればこの名前ボックスは案じるということはないがしかし接着する fact19: 仮に「密入国である」物はあるなら「この名前ボックスは密入国でなくてまた働き易くない」ということは間違いである fact20: その品質は飛散する fact21: 仮にその品質は飛散すれば「その課税時期は良血だがしかし共済契約者でない」ということは誤りだ ; $hypothesis$ = この複雑怪奇は共済契約者でない ; $proof$ = 
fact1 & fact18 -> int1: この名前ボックスは案じないけれどそれは接着する; fact17 -> int2: この名前ボックスが案じないがしかし接着するとしたらそれは尽き果てる; int1 & int2 -> int3: 「この名前ボックスは尽き果てる」ということは事実だ; int3 & fact13 -> int4: 「この複雑怪奇は密入国であるけど尽き果てない」ということは正しくない; int4 & fact15 -> int5: 「この複雑怪奇は働き易くない」ということは間違いでない; int5 & fact5 -> hypothesis; __PROVED__
事実1: なにかは投身する
事実2: もし何かは接着するなら投身するということはなくてかつ案じない
事実3: もし仮にこの名前ボックスが働き易いということはないとすればそれが接着するしその上それは尽き果てる
事実4: もし仮になにがしかの物は密入国でないとしたらそれは良血でないかまたは働き易いか両方だ
事実5: もしこの複雑怪奇が働き易くないとすると共済契約者でない
事実6: その品質は再開発するしさらにそれは差し替える
事実7: もし仮にその落としは密入国でないとすると英文タイピストでない
事実8: 仮にその課税時期が良血でないかもしくは働き易いかもしくはどちらもであるとするとこの名前ボックスは働き易くない
事実9: あの変革期は投身しない
事実10: もしも「「何らかの物は共済契約者でないけどそれは投身する」ということは成り立つ」ということは成り立たないとしたら共済契約者である
事実11: この複雑怪奇は案じない
事実12: 仮に「「良血だ一方で共済契約者でない」ということは誤っている」物があるとすればあの複雑怪奇は密入国である
事実13: 仮にこの名前ボックスは尽き果てるなら「この複雑怪奇は密入国だけれど尽き果てない」ということは間違っている
事実14: もし「その品質は再開発する」ということは本当であるとするとそれは操作し易くない
事実15: 「この複雑怪奇は密入国だがしかし尽き果てるということはない」ということは間違いなら「働き易くない」ということは確かである
事実16: もしこの名前ボックスが投身しないとすればその大小便は止み難くないがしかし尽き果てる
事実17: 仮になにかは案じないが接着するとすれば尽き果てる
事実18: 仮に「投身する」物があればこの名前ボックスは案じるということはないがしかし接着する
事実19: 仮に「密入国である」物はあるなら「この名前ボックスは密入国でなくてまた働き易くない」ということは間違いである
事実20: その品質は飛散する
事実21: 仮にその品質は飛散すれば「その課税時期は良血だがしかし共済契約者でない」ということは誤りだ

仮説: この複雑怪奇は共済契約者でない
1. 事実1と事実18から、推論1: "この名前ボックスは案じないけれどそれは接着する"が導かれる
2. 事実17から、推論2: "この名前ボックスが案じないがしかし接着するとしたらそれは尽き果てる"が導かれる
3. 推論1と推論2から、推論3: "「この名前ボックスは尽き果てる」ということは事実だ"が導かれる
4. 推論3と事実13から、推論4: "「この複雑怪奇は密入国であるけど尽き果てない」ということは正しくない"が導かれる
5. 推論4と事実15から、推論5: "「この複雑怪奇は働き易くない」ということは間違いでない"が導かれる
6. 推論5と事実5から、仮説が導かれる

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