あのテキストファイルは振り撒く
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: 仮になんらかのものがしょっぱいとするとサラダ油適量であるということはないし加えて十六年改正でない
void -> assump1: 以下のように仮定する。その業態別は自己利益である; fact25 & assump1 -> int1: その業態別は御労しくて自己利益だ; int1 & fact3 -> int2: その家系図は崩し易くない; fact18 -> int3: その家系図が飲み込むがそれが十六年改正だということはないとすると崩し易い; fact23 & fact11 -> int4: その家系図は飲み込むけれど十六年改正でない; int3 & int4 -> int5: その家系図は崩し易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その業態別は自己利益でない; int7 & fact17 -> hypothesis;
あのテキストファイルは振り撒かない
fact32 -> int8: 仮にその業態別は崩し易いとしたら「それは御労しいということはないし自己利益でない」ということは成り立つということはない; fact30 -> int9: もし仮に「その家系図は十六年改正である」ということは成り立つとすれば飲み込む; fact27 -> int10: 仮にその家系図がしょっぱいならそれは十六年改正である; fact34 -> int11: 「仮にその家系図が朝鮮人生徒でないとするとその家系図はコントロールし易いしまた協力し合う」ということは成り立つ;
$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$ = 
void -> assump1: 以下のように仮定する。その業態別は自己利益である; fact25 & assump1 -> int1: その業態別は御労しくて自己利益だ; int1 & fact3 -> int2: その家系図は崩し易くない; fact18 -> int3: その家系図が飲み込むがそれが十六年改正だということはないとすると崩し易い; fact23 & fact11 -> int4: その家系図は飲み込むけれど十六年改正でない; int3 & int4 -> int5: その家系図は崩し易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その業態別は自己利益でない; int7 & fact17 -> 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. 仮定1: 以下のように仮定する。その業態別は自己利益である
2. 事実25と仮定1から、推論1: "その業態別は御労しくて自己利益だ"が導かれる
3. 推論1と事実3から、推論2: "その家系図は崩し易くない"が導かれる
4. 事実18から、推論3: "その家系図が飲み込むがそれが十六年改正だということはないとすると崩し易い"が導かれる
5. 事実23と事実11から、推論4: "その家系図は飲み込むけれど十六年改正でない"が導かれる
6. 推論3と推論4から、推論5: "その家系図は崩し易い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その業態別は自己利益でない"が導かれる
9. 推論7と事実17から、仮説が導かれる

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