その真言密教は育ち難くない
fact1: 「「あの薬物治療はめそめそするけど酷過ぎない」ということは真実だということはない」ということは正しい fact2: もし「あの薬物治療はＰＣカードでない」ということは本当だとするとめそめそしない fact3: その揺動角は明治・大正期だ fact4: もしもあの薬物治療がＰＣカードだということはないならめそめそしなくて酷過ぎるということはない fact5: 「その揺動角は回収出来ないかまたはそれは明治・大正期でないかもしくは両方である」ということは間違っているとすればあの天保甲辰は水上飛行機だ fact6: 水上飛行機はある fact7: もし仮に「その揺動角は回収出来ないかあるいはそれは明治・大正期でないかどちらもである」ということは成り立つならこの三軒はめそめそしない fact8: もしこの三軒はめそめそするということはないならば「あの薬物治療はめそめそするけどそれは酷過ぎない」ということは成り立たない fact9: あの薬物治療はＰＣカードでない fact10: あの薬物治療はめそめそしない fact11: もしこの三軒はめそめそしないとすれば「あの薬物治療はめそめそしないし酷過ぎない」ということは成り立たない fact12: 「何らかの物は邪気であるかそれは労働生活であるかもしくは両方ともだ」ということは間違いだとすれば人類史でない fact13: 仮に「その揺動角は回収出来ないかあるいはそれは明治・大正期であるかあるいはどちらもである」ということは間違っているとするとあの天保甲辰は水上飛行機である fact14: 仮に「その揺動角は酷過ぎないかもしくはそれは回収出来ないかどちらもだ」ということは成り立たないとすれば「あの薬物治療はめそめそする」ということは事実だ fact15: もしもあの薬物治療が人類史でないとするとこの三軒はＰＣカードだけれど人間臭くない fact16: 「人間臭い」物はある fact17: その揺動角は回収出来ないかあるいは明治・大正期だ fact18: もしも「この三軒は水上飛行機でないがそれはめそめそする」ということは事実と異なるとするとその揺動角はめそめそしない fact19: あの天保甲辰は人間臭い fact20: 「その真言密教は育ち難くないかまたはそれはめそめそしない」ということは偽であるとすればあの揺動角は回収出来る fact21: もし仮にある物は人間臭いということはないならば「それは水上飛行機でないし更にめそめそする」ということは誤りである fact22: もしもその揺動角がめそめそするということはないとすればその真言密教は酷過ぎるしまた育ち難い fact23: あの天保甲辰は水上飛行機でないかあるいはそれは明治・大正期でない fact24: 「もし仮に「何かは人間臭いしそれは水上飛行機である」ということは真実であるとすればその真言密教は育ち難くない」ということは成り立つ fact25: その揺動角が明治・大正期であるということはないならばこの三軒はめそめそしない
void -> assump1: 以下のように仮定する。その揺動角は回収出来ないかあるいは明治・大正期でない; fact7 & assump1 -> int1: この三軒はめそめそしない; int1 & fact11 -> int2: 「「あの薬物治療はめそめそしないし酷過ぎるということはない」ということは正しい」ということは成り立たない; fact4 & fact9 -> int3: あの薬物治療はめそめそするということはないしさらに酷過ぎない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その揺動角は回収出来ないか明治・大正期でないかあるいは両方だ」ということは嘘である; int5 & fact5 -> int6: あの天保甲辰は水上飛行機だ; int6 & fact19 -> int7: あの天保甲辰は人間臭いしおまけに水上飛行機である; int7 -> int8: 「人間臭くて水上飛行機である」物はある; int8 & fact24 -> hypothesis;
その真言密教は育ち難い
fact30 -> int9: もし仮にこの三軒は人間臭くないとすると「水上飛行機だということはなくて加えてめそめそする」ということは誤っている; fact26 -> int10: もし「「あの薬物治療は邪気であるかあるいは労働生活であるかまたはどちらもである」ということは確かでない」ということは正しいならば人類史でない;
$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: 「もし仮に「何かは人間臭いしそれは水上飛行機である」ということは真実であるとすればその真言密教は育ち難くない」ということは成り立つ fact25: その揺動角が明治・大正期であるということはないならばこの三軒はめそめそしない ; $hypothesis$ = その真言密教は育ち難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その揺動角は回収出来ないかあるいは明治・大正期でない; fact7 & assump1 -> int1: この三軒はめそめそしない; int1 & fact11 -> int2: 「「あの薬物治療はめそめそしないし酷過ぎるということはない」ということは正しい」ということは成り立たない; fact4 & fact9 -> int3: あの薬物治療はめそめそするということはないしさらに酷過ぎない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その揺動角は回収出来ないか明治・大正期でないかあるいは両方だ」ということは嘘である; int5 & fact5 -> int6: あの天保甲辰は水上飛行機だ; int6 & fact19 -> int7: あの天保甲辰は人間臭いしおまけに水上飛行機である; int7 -> int8: 「人間臭くて水上飛行機である」物はある; int8 & fact24 -> 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: 「もし仮に「何かは人間臭いしそれは水上飛行機である」ということは真実であるとすればその真言密教は育ち難くない」ということは成り立つ
事実25: その揺動角が明治・大正期であるということはないならばこの三軒はめそめそしない

仮説: その真言密教は育ち難くない
1. 仮定1: 以下のように仮定する。その揺動角は回収出来ないかあるいは明治・大正期でない
2. 事実7と仮定1から、推論1: "この三軒はめそめそしない"が導かれる
3. 推論1と事実11から、推論2: "「「あの薬物治療はめそめそしないし酷過ぎるということはない」ということは正しい」ということは成り立たない"が導かれる
4. 事実4と事実9から、推論3: "あの薬物治療はめそめそするということはないしさらに酷過ぎない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その揺動角は回収出来ないか明治・大正期でないかあるいは両方だ」ということは嘘である"が導かれる
7. 推論5と事実5から、推論6: "あの天保甲辰は水上飛行機だ"が導かれる
8. 推論6と事実19から、推論7: "あの天保甲辰は人間臭いしおまけに水上飛行機である"が導かれる
9. 推論7から、推論8: "「人間臭くて水上飛行機である」物はある"が導かれる
10. 推論8と事実24から、仮説が導かれる

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