「もし「専有するしおまけに汚い」ということは誤りであるなら入れ難いということはない」物はある
fact1: もしあの絶対的優位が汚いということはないなら入れ難くない fact2: もしも「あの絶対的優位は発現し易いしおまけに混合遺伝である」ということは嘘であるとすると汚くない fact3: 「もしも「専有するしその上汚い」ということは誤っているなら入れ難い」物はある fact4: 「もしも「歌舞伎俳優でかつ忌ま忌ましい」ということは嘘であるとしたら蒸し暑くない」ものはある fact5: もしも「あの絶対的優位は専有するしそれは汚い」ということは誤っているとしたらそれは入れ難い fact6: もし仮に「その海外市場は打ち崩すしそれは思わす」ということは誤っているとしたらそれは抱え直さない fact7: もし「あの絶対的優位は勇ましいしそれに入れ難い」ということは誤りであるとすると「それは名古屋高判昭でない」ということは事実だ fact8: 「もしも汚くないとすると入れ難くない」ものはある fact9: 「「気付き易くて更に自動詞だ」ということは偽だとすれば素性構造でない」物はある fact10: 「あの絶対的優位は使い切るし専有する」ということは誤りであるならばそれは煙たくない fact11: 「もしも「この低価格競争は板チョコで汚い」ということは成り立たないとすればこの低価格競争はＴＶ番組でない」ということは事実だ fact12: 仮に「あの絶対的優位は免れ得るし加えて目掛ける」ということは偽ならばそれは入れ難くない fact13: 「「もしも専有するしそれに汚いとすれば「入れ難くない」ということは真実な」物はある」ということは確かである fact14: あの絶対的優位が専有するしまたそれが汚いならば入れ難くない fact15: 「「回し続けるしさらに哀れっぽい」ということは成り立たないならば「嗅ぐということはない」ということは本当である」物はある fact16: 「「なにかは御散歩するし発現し易い」ということは偽ならそれは蠢かすということはない」ということは正しい fact17: 「もしも「三世紀後半だしまたコートする」ということは成り立たないとすれば「大人向けであるということはない」ということは事実な」物はある fact18: 「仮に専有しないとすれば入れ難くない」物はある fact19: 「もしも「取り始めるし加えて捕まえ易い」ということは成り立たないとすると日常生活活動でない」物はある fact20: 仮に「「「あの絶対的優位は専有するしかつ汚い」ということは間違っているということはない」ということは成り立つということはない」ということは確かであるとすれば入れ難くない fact21: もし「「あるものは御労しくてかつ素性構造である」ということは正しい」ということは間違っていればそれは正しくない
fact20 -> hypothesis;
「もしも「「御労しいししかも素性構造だ」ということは成り立つ」ということは成り立たないならば正しくない」物はある
fact22 -> int1: 「この七時前は御労しいし素性構造だ」ということは確かでないならば「それは正しくない」ということは真実だ; int1 -> hypothesis;
$facts$ = fact1: もしあの絶対的優位が汚いということはないなら入れ難くない fact2: もしも「あの絶対的優位は発現し易いしおまけに混合遺伝である」ということは嘘であるとすると汚くない fact3: 「もしも「専有するしその上汚い」ということは誤っているなら入れ難い」物はある fact4: 「もしも「歌舞伎俳優でかつ忌ま忌ましい」ということは嘘であるとしたら蒸し暑くない」ものはある fact5: もしも「あの絶対的優位は専有するしそれは汚い」ということは誤っているとしたらそれは入れ難い fact6: もし仮に「その海外市場は打ち崩すしそれは思わす」ということは誤っているとしたらそれは抱え直さない fact7: もし「あの絶対的優位は勇ましいしそれに入れ難い」ということは誤りであるとすると「それは名古屋高判昭でない」ということは事実だ fact8: 「もしも汚くないとすると入れ難くない」ものはある fact9: 「「気付き易くて更に自動詞だ」ということは偽だとすれば素性構造でない」物はある fact10: 「あの絶対的優位は使い切るし専有する」ということは誤りであるならばそれは煙たくない fact11: 「もしも「この低価格競争は板チョコで汚い」ということは成り立たないとすればこの低価格競争はＴＶ番組でない」ということは事実だ fact12: 仮に「あの絶対的優位は免れ得るし加えて目掛ける」ということは偽ならばそれは入れ難くない fact13: 「「もしも専有するしそれに汚いとすれば「入れ難くない」ということは真実な」物はある」ということは確かである fact14: あの絶対的優位が専有するしまたそれが汚いならば入れ難くない fact15: 「「回し続けるしさらに哀れっぽい」ということは成り立たないならば「嗅ぐということはない」ということは本当である」物はある fact16: 「「なにかは御散歩するし発現し易い」ということは偽ならそれは蠢かすということはない」ということは正しい fact17: 「もしも「三世紀後半だしまたコートする」ということは成り立たないとすれば「大人向けであるということはない」ということは事実な」物はある fact18: 「仮に専有しないとすれば入れ難くない」物はある fact19: 「もしも「取り始めるし加えて捕まえ易い」ということは成り立たないとすると日常生活活動でない」物はある fact20: 仮に「「「あの絶対的優位は専有するしかつ汚い」ということは間違っているということはない」ということは成り立つということはない」ということは確かであるとすれば入れ難くない fact21: もし「「あるものは御労しくてかつ素性構造である」ということは正しい」ということは間違っていればそれは正しくない ; $hypothesis$ = 「もし「専有するしおまけに汚い」ということは誤りであるなら入れ難いということはない」物はある ; $proof$ = 
fact20 -> hypothesis; __PROVED__
事実1: もしあの絶対的優位が汚いということはないなら入れ難くない
事実2: もしも「あの絶対的優位は発現し易いしおまけに混合遺伝である」ということは嘘であるとすると汚くない
事実3: 「もしも「専有するしその上汚い」ということは誤っているなら入れ難い」物はある
事実4: 「もしも「歌舞伎俳優でかつ忌ま忌ましい」ということは嘘であるとしたら蒸し暑くない」ものはある
事実5: もしも「あの絶対的優位は専有するしそれは汚い」ということは誤っているとしたらそれは入れ難い
事実6: もし仮に「その海外市場は打ち崩すしそれは思わす」ということは誤っているとしたらそれは抱え直さない
事実7: もし「あの絶対的優位は勇ましいしそれに入れ難い」ということは誤りであるとすると「それは名古屋高判昭でない」ということは事実だ
事実8: 「もしも汚くないとすると入れ難くない」ものはある
事実9: 「「気付き易くて更に自動詞だ」ということは偽だとすれば素性構造でない」物はある
事実10: 「あの絶対的優位は使い切るし専有する」ということは誤りであるならばそれは煙たくない
事実11: 「もしも「この低価格競争は板チョコで汚い」ということは成り立たないとすればこの低価格競争はＴＶ番組でない」ということは事実だ
事実12: 仮に「あの絶対的優位は免れ得るし加えて目掛ける」ということは偽ならばそれは入れ難くない
事実13: 「「もしも専有するしそれに汚いとすれば「入れ難くない」ということは真実な」物はある」ということは確かである
事実14: あの絶対的優位が専有するしまたそれが汚いならば入れ難くない
事実15: 「「回し続けるしさらに哀れっぽい」ということは成り立たないならば「嗅ぐということはない」ということは本当である」物はある
事実16: 「「なにかは御散歩するし発現し易い」ということは偽ならそれは蠢かすということはない」ということは正しい
事実17: 「もしも「三世紀後半だしまたコートする」ということは成り立たないとすれば「大人向けであるということはない」ということは事実な」物はある
事実18: 「仮に専有しないとすれば入れ難くない」物はある
事実19: 「もしも「取り始めるし加えて捕まえ易い」ということは成り立たないとすると日常生活活動でない」物はある
事実20: 仮に「「「あの絶対的優位は専有するしかつ汚い」ということは間違っているということはない」ということは成り立つということはない」ということは確かであるとすれば入れ難くない
事実21: もし「「あるものは御労しくてかつ素性構造である」ということは正しい」ということは間違っていればそれは正しくない

仮説: 「もし「専有するしおまけに汚い」ということは誤りであるなら入れ難いということはない」物はある
1. 事実20から、仮説が導かれる

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