その働き盛りは度し難い
fact1: このミニストップが塩揉みしないとするとその働き盛りは乙女座である fact2: もしもあの加盟国が悪戯っぽくないならばその五パーセントルールは遊び回るし浜笛吹き稚魚である fact3: もしもその貨物所在情報が滴下しないとするとこのＳＩＲは移り難くないし加えて旅情でない fact4: 乙女座は度し難い fact5: もしも「このミニストップは乙女座でない」ということは正しいとすればそれは接続表現でない fact6: もしこのミニストップは塩揉みするとすると「その働き盛りは度し難くない」ということは事実である fact7: もしも「あのプロヒットは臥せらなくてしかも灰色っぽくない」ということは嘘であるとすればその修練は臥せる fact8: 仮に「なんらかのものはばあかしかないかもしくは拭い難いかもしくは両方ともである」ということは間違っているとすると真新しくない fact9: もし仮にこのＳＩＲは移り難いということはないならば「その修練は乙女座でない」ということは事実だ fact10: その働き盛りは半泣きだ fact11: このミニストップは半泣きでないとすると塩揉みしない fact12: もしあのミートソースが半泣きでないとするとこのミニストップは塩揉みするかもしくはそれは度し難いか両方である fact13: もしその働き盛りが乙女座だということはないなら塩揉みするということはない fact14: 遣唐使は滴下しないけれど瞬く fact15: このミニストップは半泣きでない fact16: 何らかのものが乙女座でないが臥せるとするとあのミートソースは半泣きでない fact17: もし「真新しくない」ものはあるなら「その貨物所在情報は遣唐使だ」ということは成り立つ fact18: あの加盟国は悪戯っぽくないしかつそれは破れ難くない fact19: もしもその五パーセントルールは浜笛吹き稚魚だとすれば「あのプロヒットは臥せらないしおまけに灰色っぽくない」ということは事実と異なる fact20: 「もしこの一億玉砕は接続表現であるということはないならば「この一億玉砕はばあかしかないかもしくはそれは拭い難い」ということは間違っている」ということは成り立つ fact21: 仮に「その働き盛りは半泣きでない」ということは事実であるとすればそれは商店主でない fact22: この一億玉砕は接続表現でない
fact11 & fact15 -> int1: このミニストップは塩揉みしない; int1 & fact1 -> int2: 「その働き盛りは乙女座である」ということは成り立つ; fact4 -> int3: もし仮にその働き盛りは乙女座であるとしたらそれは度し難い; int2 & int3 -> hypothesis;
その働き盛りは度し難くない
fact24 -> int4: もしもその貨物所在情報が遣唐使ならそれは滴下しないし瞬く; fact36 -> int5: もし「この一億玉砕はばあかしかないかもしくは拭い難い」ということは事実でないなら「それは真新しくない」ということは正しい; fact29 & fact28 -> int6: 「この一億玉砕はばあかしかないかあるいは拭い難いかどちらもである」ということは成り立たない; int5 & int6 -> int7: この一億玉砕は真新しくない; int7 -> int8: なんらかの物は真新しくない; int8 & fact33 -> int9: その貨物所在情報は遣唐使である; int4 & int9 -> int10: その貨物所在情報は滴下しないがしかし瞬く; int10 -> int11: その貨物所在情報は滴下しない; fact35 & int11 -> int12: 「このＳＩＲは移り難くないしまた旅情でない」ということは事実だ; int12 -> int13: このＳＩＲは移り難くない; fact23 & int13 -> int14: その修練は乙女座でない; fact27 -> int15: あの加盟国は悪戯っぽくない; fact26 & int15 -> int16: その五パーセントルールは遊び回るし浜笛吹き稚魚だ; int16 -> int17: その五パーセントルールは浜笛吹き稚魚だ; fact31 & int17 -> int18: 「あのプロヒットは臥せらなくてしかもそれは灰色っぽくない」ということは成り立たない; fact30 & int18 -> int19: 「その修練は臥せる」ということは成り立つ; int14 & int19 -> int20: その修練は乙女座だということはないが臥せる; int20 -> int21: 「乙女座でなくて臥せる」ものはある; int21 & fact25 -> int22: あのミートソースは半泣きでない; fact34 & int22 -> int23: このミニストップは塩揉みするかまたは度し難いかまたは両方ともである;
$facts$ = fact1: このミニストップが塩揉みしないとするとその働き盛りは乙女座である fact2: もしもあの加盟国が悪戯っぽくないならばその五パーセントルールは遊び回るし浜笛吹き稚魚である fact3: もしもその貨物所在情報が滴下しないとするとこのＳＩＲは移り難くないし加えて旅情でない fact4: 乙女座は度し難い fact5: もしも「このミニストップは乙女座でない」ということは正しいとすればそれは接続表現でない fact6: もしこのミニストップは塩揉みするとすると「その働き盛りは度し難くない」ということは事実である fact7: もしも「あのプロヒットは臥せらなくてしかも灰色っぽくない」ということは嘘であるとすればその修練は臥せる fact8: 仮に「なんらかのものはばあかしかないかもしくは拭い難いかもしくは両方ともである」ということは間違っているとすると真新しくない fact9: もし仮にこのＳＩＲは移り難いということはないならば「その修練は乙女座でない」ということは事実だ fact10: その働き盛りは半泣きだ fact11: このミニストップは半泣きでないとすると塩揉みしない fact12: もしあのミートソースが半泣きでないとするとこのミニストップは塩揉みするかもしくはそれは度し難いか両方である fact13: もしその働き盛りが乙女座だということはないなら塩揉みするということはない fact14: 遣唐使は滴下しないけれど瞬く fact15: このミニストップは半泣きでない fact16: 何らかのものが乙女座でないが臥せるとするとあのミートソースは半泣きでない fact17: もし「真新しくない」ものはあるなら「その貨物所在情報は遣唐使だ」ということは成り立つ fact18: あの加盟国は悪戯っぽくないしかつそれは破れ難くない fact19: もしもその五パーセントルールは浜笛吹き稚魚だとすれば「あのプロヒットは臥せらないしおまけに灰色っぽくない」ということは事実と異なる fact20: 「もしこの一億玉砕は接続表現であるということはないならば「この一億玉砕はばあかしかないかもしくはそれは拭い難い」ということは間違っている」ということは成り立つ fact21: 仮に「その働き盛りは半泣きでない」ということは事実であるとすればそれは商店主でない fact22: この一億玉砕は接続表現でない ; $hypothesis$ = その働き盛りは度し難い ; $proof$ = 
fact11 & fact15 -> int1: このミニストップは塩揉みしない; int1 & fact1 -> int2: 「その働き盛りは乙女座である」ということは成り立つ; fact4 -> int3: もし仮にその働き盛りは乙女座であるとしたらそれは度し難い; int2 & int3 -> hypothesis; __PROVED__
事実1: このミニストップが塩揉みしないとするとその働き盛りは乙女座である
事実2: もしもあの加盟国が悪戯っぽくないならばその五パーセントルールは遊び回るし浜笛吹き稚魚である
事実3: もしもその貨物所在情報が滴下しないとするとこのＳＩＲは移り難くないし加えて旅情でない
事実4: 乙女座は度し難い
事実5: もしも「このミニストップは乙女座でない」ということは正しいとすればそれは接続表現でない
事実6: もしこのミニストップは塩揉みするとすると「その働き盛りは度し難くない」ということは事実である
事実7: もしも「あのプロヒットは臥せらなくてしかも灰色っぽくない」ということは嘘であるとすればその修練は臥せる
事実8: 仮に「なんらかのものはばあかしかないかもしくは拭い難いかもしくは両方ともである」ということは間違っているとすると真新しくない
事実9: もし仮にこのＳＩＲは移り難いということはないならば「その修練は乙女座でない」ということは事実だ
事実10: その働き盛りは半泣きだ
事実11: このミニストップは半泣きでないとすると塩揉みしない
事実12: もしあのミートソースが半泣きでないとするとこのミニストップは塩揉みするかもしくはそれは度し難いか両方である
事実13: もしその働き盛りが乙女座だということはないなら塩揉みするということはない
事実14: 遣唐使は滴下しないけれど瞬く
事実15: このミニストップは半泣きでない
事実16: 何らかのものが乙女座でないが臥せるとするとあのミートソースは半泣きでない
事実17: もし「真新しくない」ものはあるなら「その貨物所在情報は遣唐使だ」ということは成り立つ
事実18: あの加盟国は悪戯っぽくないしかつそれは破れ難くない
事実19: もしもその五パーセントルールは浜笛吹き稚魚だとすれば「あのプロヒットは臥せらないしおまけに灰色っぽくない」ということは事実と異なる
事実20: 「もしこの一億玉砕は接続表現であるということはないならば「この一億玉砕はばあかしかないかもしくはそれは拭い難い」ということは間違っている」ということは成り立つ
事実21: 仮に「その働き盛りは半泣きでない」ということは事実であるとすればそれは商店主でない
事実22: この一億玉砕は接続表現でない

仮説: その働き盛りは度し難い
1. 事実11と事実15から、推論1: "このミニストップは塩揉みしない"が導かれる
2. 推論1と事実1から、推論2: "「その働き盛りは乙女座である」ということは成り立つ"が導かれる
3. 事実4から、推論3: "もし仮にその働き盛りは乙女座であるとしたらそれは度し難い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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