この持参金は薬剤投与でない
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: 仮にあの短期雇用者は見逃せないとすれば「その巨大戦争は擦り洗いしないけどそれは権衡だ」ということは誤りである fact26: すべての物は汚れ易くない fact27: あの短期雇用者は見逃せないとすると「その巨大戦争は擦り洗いするし権衡である」ということは嘘だ
fact2 & fact5 -> int1: この杉花粉症は立て出すということはない; int1 & fact6 -> int2: そのグローバル展開は立て出すということはないがしかし推察出来る; int2 -> int3: なにかは立て出さないけど推察出来る; int3 & fact11 -> int4: 「あの短期雇用者は見逃せない」ということは真実である; int4 & fact25 -> int5: 「その巨大戦争は擦り洗いしないけどそれは権衡である」ということは誤りだ; fact10 -> int6: もし仮に「「その巨大戦争は擦り洗いしないが権衡である」ということは成り立つ」ということは誤りだとすると強めない; int5 & int6 -> int7: その巨大戦争は強めるということはない; int7 & fact19 -> int8: 「あのクイズ大作戦は荒々しくない一方で強める」ということは成り立たない; int8 & fact18 -> hypothesis;
この持参金は薬剤投与である
fact35 -> int9: もし仮に「そのグローバル展開は強めるし加えて荒々しい」ということは間違いであるならば「擦り洗いするということはない」ということは偽であるということはない; fact31 -> int10: あのクイズ大作戦は汚れ易いということはない; fact32 -> int11: もしあのクイズ大作戦は汚れ易くないなら「それは強めるし更にそれは荒々しい」ということは嘘である; int10 & int11 -> int12: 「あのクイズ大作戦は強めるしさらに荒々しい」ということは正しくない; int12 -> int13: 強めるししかも荒々しいという物はない; int13 -> int14: 「「そのグローバル展開は強めるし荒々しい」ということは事実である」ということは偽である; int9 & int14 -> int15: 「そのグローバル展開は擦り洗いするということはない」ということは真実だ; fact30 & fact28 -> int16: あの短期雇用者は居辛くないがしかし権衡だ; int16 & fact34 -> int17: そのグローバル展開は権衡でない; int15 & int17 -> int18: そのグローバル展開は擦り洗いしないし権衡でない; fact33 & int18 -> int19: この杉花粉症は推察出来ない; int19 -> int20: 「推察出来ない」ものはある; fact29 & int20 -> int21: この打力は立て出す;
$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: 仮にあの短期雇用者は見逃せないとすれば「その巨大戦争は擦り洗いしないけどそれは権衡だ」ということは誤りである fact26: すべての物は汚れ易くない fact27: あの短期雇用者は見逃せないとすると「その巨大戦争は擦り洗いするし権衡である」ということは嘘だ ; $hypothesis$ = この持参金は薬剤投与でない ; $proof$ = 
fact2 & fact5 -> int1: この杉花粉症は立て出すということはない; int1 & fact6 -> int2: そのグローバル展開は立て出すということはないがしかし推察出来る; int2 -> int3: なにかは立て出さないけど推察出来る; int3 & fact11 -> int4: 「あの短期雇用者は見逃せない」ということは真実である; int4 & fact25 -> int5: 「その巨大戦争は擦り洗いしないけどそれは権衡である」ということは誤りだ; fact10 -> int6: もし仮に「「その巨大戦争は擦り洗いしないが権衡である」ということは成り立つ」ということは誤りだとすると強めない; int5 & int6 -> int7: その巨大戦争は強めるということはない; int7 & fact19 -> int8: 「あのクイズ大作戦は荒々しくない一方で強める」ということは成り立たない; int8 & fact18 -> 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: 仮にあの短期雇用者は見逃せないとすれば「その巨大戦争は擦り洗いしないけどそれは権衡だ」ということは誤りである
事実26: すべての物は汚れ易くない
事実27: あの短期雇用者は見逃せないとすると「その巨大戦争は擦り洗いするし権衡である」ということは嘘だ

仮説: この持参金は薬剤投与でない
1. 事実2と事実5から、推論1: "この杉花粉症は立て出すということはない"が導かれる
2. 推論1と事実6から、推論2: "そのグローバル展開は立て出すということはないがしかし推察出来る"が導かれる
3. 推論2から、推論3: "なにかは立て出さないけど推察出来る"が導かれる
4. 推論3と事実11から、推論4: "「あの短期雇用者は見逃せない」ということは真実である"が導かれる
5. 推論4と事実25から、推論5: "「その巨大戦争は擦り洗いしないけどそれは権衡である」ということは誤りだ"が導かれる
6. 事実10から、推論6: "もし仮に「「その巨大戦争は擦り洗いしないが権衡である」ということは成り立つ」ということは誤りだとすると強めない"が導かれる
7. 推論5と推論6から、推論7: "その巨大戦争は強めるということはない"が導かれる
8. 推論7と事実19から、推論8: "「あのクイズ大作戦は荒々しくない一方で強める」ということは成り立たない"が導かれる
9. 推論8と事実18から、仮説が導かれる

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