その製塩は来易くない
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: もし仮にその経済的繁栄が女の子らしくないならばあの日足は抽出し為さるか細か過ぎるかもしくはどちらもだ
fact1 & fact4 -> int1: 「あの日足は縞状であるか葬式でないかもしくは両方だ」ということは誤っている; int1 & fact23 -> int2: その経済的繁栄は抽出し為さる; fact17 & fact14 -> int3: 「その経済的繁栄は葛飾丸だがしかし判別し難いということはない」ということは偽だ; fact24 -> int4: 仮に「その経済的繁栄は葛飾丸だけれどそれは判別し難くない」ということは偽であるとすればそれはむさい; int3 & int4 -> int5: その経済的繁栄はむさい; int2 & int5 -> int6: その経済的繁栄はむさいしその上抽出し為さる; int6 & fact11 -> int7: あのドライビングは安っぽくない; int7 & fact22 -> hypothesis;
その製塩は来易い
$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$ = 
fact1 & fact4 -> int1: 「あの日足は縞状であるか葬式でないかもしくは両方だ」ということは誤っている; int1 & fact23 -> int2: その経済的繁栄は抽出し為さる; fact17 & fact14 -> int3: 「その経済的繁栄は葛飾丸だがしかし判別し難いということはない」ということは偽だ; fact24 -> int4: 仮に「その経済的繁栄は葛飾丸だけれどそれは判別し難くない」ということは偽であるとすればそれはむさい; int3 & int4 -> int5: その経済的繁栄はむさい; int2 & int5 -> int6: その経済的繁栄はむさいしその上抽出し為さる; int6 & fact11 -> int7: あのドライビングは安っぽくない; int7 & fact22 -> 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と事実4から、推論1: "「あの日足は縞状であるか葬式でないかもしくは両方だ」ということは誤っている"が導かれる
2. 推論1と事実23から、推論2: "その経済的繁栄は抽出し為さる"が導かれる
3. 事実17と事実14から、推論3: "「その経済的繁栄は葛飾丸だがしかし判別し難いということはない」ということは偽だ"が導かれる
4. 事実24から、推論4: "仮に「その経済的繁栄は葛飾丸だけれどそれは判別し難くない」ということは偽であるとすればそれはむさい"が導かれる
5. 推論3と推論4から、推論5: "その経済的繁栄はむさい"が導かれる
6. 推論2と推論5から、推論6: "その経済的繁栄はむさいしその上抽出し為さる"が導かれる
7. 推論6と事実11から、推論7: "あのドライビングは安っぽくない"が導かれる
8. 推論7と事実22から、仮説が導かれる

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