その教育的真実はまだるっこしくない
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: 以下のように仮定する。その教育的真実は線上でない; fact16 & assump1 -> int1: その教育的真実は荒れるししかも塵取りだ; int1 -> int2: その教育的真実は荒れる; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: その教育的真実は線上だ; fact22 & fact8 -> int5: その教育的真実は理解し難い; int4 & int5 -> int6: その教育的真実は線上であるしそれに理解し難い; fact1 -> int7: もしその教育的真実は線上であるしその上理解し難いならそれはまだるっこしくない; int6 & int7 -> hypothesis;
あの同宿は塵取りでない
fact25 -> int8: もし「その教育的真実は推進出来ない」ということは成り立つとすると「それは理解し難くないがしかしまだるっこしい」ということは確かだ;
$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: 以下のように仮定する。その教育的真実は線上でない; fact16 & assump1 -> int1: その教育的真実は荒れるししかも塵取りだ; int1 -> int2: その教育的真実は荒れる; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: その教育的真実は線上だ; fact22 & fact8 -> int5: その教育的真実は理解し難い; int4 & int5 -> int6: その教育的真実は線上であるしそれに理解し難い; fact1 -> int7: もしその教育的真実は線上であるしその上理解し難いならそれはまだるっこしくない; int6 & int7 -> 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. 事実16と仮定1から、推論1: "その教育的真実は荒れるししかも塵取りだ"が導かれる
3. 推論1から、推論2: "その教育的真実は荒れる"が導かれる
4. 推論2と事実21から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その教育的真実は線上だ"が導かれる
6. 事実22と事実8から、推論5: "その教育的真実は理解し難い"が導かれる
7. 推論4と推論5から、推論6: "その教育的真実は線上であるしそれに理解し難い"が導かれる
8. 事実1から、推論7: "もしその教育的真実は線上であるしその上理解し難いならそれはまだるっこしくない"が導かれる
9. 推論6と推論7から、仮説が導かれる

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