この筋ジストロフィーは変形でない
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: あのブルートスは早いしかつ障害胎児だ
fact9 -> int1: もしも「この同唱歌集は修築しないし垂れ込まない」ということは間違っているとしたら塩っ辛くない; int1 & fact20 -> int2: この同唱歌集は塩っ辛くない; int2 & fact21 -> int3: 「この筋ジストロフィーは改善出来る」ということは誤っていない; int3 & fact12 -> int4: この筋ジストロフィーはしんどいけどそれは素人っぽくない; int4 & fact23 -> int5: 「この筋ジストロフィーは反対請求である」ということは事実である; int5 & fact16 -> int6: この筋ジストロフィーは早いしそれに反対請求である; fact10 -> int7: もしこの筋ジストロフィーは早くて反対請求であるならば変形だということはない; int6 & int7 -> hypothesis;
この筋ジストロフィーは変形だ
fact27 -> int8: もし「この筋ジストロフィーは塩っ辛くないしおまけにそれは変形でない」ということは誤りだとしたらそれは変形である;
$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: あのブルートスは早いしかつ障害胎児だ ; $hypothesis$ = この筋ジストロフィーは変形でない ; $proof$ = 
fact9 -> int1: もしも「この同唱歌集は修築しないし垂れ込まない」ということは間違っているとしたら塩っ辛くない; int1 & fact20 -> int2: この同唱歌集は塩っ辛くない; int2 & fact21 -> int3: 「この筋ジストロフィーは改善出来る」ということは誤っていない; int3 & fact12 -> int4: この筋ジストロフィーはしんどいけどそれは素人っぽくない; int4 & fact23 -> int5: 「この筋ジストロフィーは反対請求である」ということは事実である; int5 & fact16 -> int6: この筋ジストロフィーは早いしそれに反対請求である; fact10 -> int7: もしこの筋ジストロフィーは早くて反対請求であるならば変形だということはない; int6 & int7 -> 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: あのブルートスは早いしかつ障害胎児だ

仮説: この筋ジストロフィーは変形でない
1. 事実9から、推論1: "もしも「この同唱歌集は修築しないし垂れ込まない」ということは間違っているとしたら塩っ辛くない"が導かれる
2. 推論1と事実20から、推論2: "この同唱歌集は塩っ辛くない"が導かれる
3. 推論2と事実21から、推論3: "「この筋ジストロフィーは改善出来る」ということは誤っていない"が導かれる
4. 推論3と事実12から、推論4: "この筋ジストロフィーはしんどいけどそれは素人っぽくない"が導かれる
5. 推論4と事実23から、推論5: "「この筋ジストロフィーは反対請求である」ということは事実である"が導かれる
6. 推論5と事実16から、推論6: "この筋ジストロフィーは早いしそれに反対請求である"が導かれる
7. 事実10から、推論7: "もしこの筋ジストロフィーは早くて反対請求であるならば変形だということはない"が導かれる
8. 推論6と推論7から、仮説が導かれる

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