「あのアフガン人はＥＸでないけどそれは短拍化する」ということは成り立たない
fact1: もし仮になにかは販売価格であるとすると「「忌まわしくないしその上骨っぽい」ということは正しい」ということは成り立たない fact2: 「あの工業全体は清々しない一方で短拍化する」ということは正しくない fact3: あのアフガン人は忌まわしくない fact4: 「あのアフガン人はＥＸでないがしかし云々する」ということは誤りである fact5: 「あのアフガン人は短拍化するしさらに法的拘束力だ」ということは誤りだ fact6: 仮に「「御勉強するがしかし骨っぽくない」ということは誤っている」物があるとするとあの入射角は骨っぽい fact7: 「あのアフガン人は御詳しくないけれどそれは諸階層である」ということは誤りだ fact8: 「あの自家用は忌まわしくない」ということは正しい fact9: 「「この防具はＥＸでないけど気付き難い」ということは成り立たない」ということは真実である fact10: 忌まわしいものはＥＸでないが短拍化する fact11: 仮にあのアフガン人は短拍化するということはないとすれば「それは求まるということはなくておまけにそれは還元主義である」ということは成り立たない fact12: もしもあの兵庫助は羆でないとしたら「それがＥＸだし下書きである」ということは正しくない fact13: もしあのアフガン人は解約し得ないならば「羆であるしかつそれは忌まわしい」ということは間違いだ fact14: もし仮に「あのアフガン人は忌まわしくない」ということは真実であるなら「ＥＸでないし加えて短拍化する」ということは成り立たない
fact14 & fact3 -> hypothesis;
あのアフガン人はＥＸでないけれど短拍化する
fact15 -> int1: 仮に「あのアフガン人は忌まわしい」ということは成り立つならＥＸでないがしかし短拍化する;
$facts$ = fact1: もし仮になにかは販売価格であるとすると「「忌まわしくないしその上骨っぽい」ということは正しい」ということは成り立たない fact2: 「あの工業全体は清々しない一方で短拍化する」ということは正しくない fact3: あのアフガン人は忌まわしくない fact4: 「あのアフガン人はＥＸでないがしかし云々する」ということは誤りである fact5: 「あのアフガン人は短拍化するしさらに法的拘束力だ」ということは誤りだ fact6: 仮に「「御勉強するがしかし骨っぽくない」ということは誤っている」物があるとするとあの入射角は骨っぽい fact7: 「あのアフガン人は御詳しくないけれどそれは諸階層である」ということは誤りだ fact8: 「あの自家用は忌まわしくない」ということは正しい fact9: 「「この防具はＥＸでないけど気付き難い」ということは成り立たない」ということは真実である fact10: 忌まわしいものはＥＸでないが短拍化する fact11: 仮にあのアフガン人は短拍化するということはないとすれば「それは求まるということはなくておまけにそれは還元主義である」ということは成り立たない fact12: もしもあの兵庫助は羆でないとしたら「それがＥＸだし下書きである」ということは正しくない fact13: もしあのアフガン人は解約し得ないならば「羆であるしかつそれは忌まわしい」ということは間違いだ fact14: もし仮に「あのアフガン人は忌まわしくない」ということは真実であるなら「ＥＸでないし加えて短拍化する」ということは成り立たない ; $hypothesis$ = 「あのアフガン人はＥＸでないけどそれは短拍化する」ということは成り立たない ; $proof$ = 
fact14 & fact3 -> hypothesis; __PROVED__
事実1: もし仮になにかは販売価格であるとすると「「忌まわしくないしその上骨っぽい」ということは正しい」ということは成り立たない
事実2: 「あの工業全体は清々しない一方で短拍化する」ということは正しくない
事実3: あのアフガン人は忌まわしくない
事実4: 「あのアフガン人はＥＸでないがしかし云々する」ということは誤りである
事実5: 「あのアフガン人は短拍化するしさらに法的拘束力だ」ということは誤りだ
事実6: 仮に「「御勉強するがしかし骨っぽくない」ということは誤っている」物があるとするとあの入射角は骨っぽい
事実7: 「あのアフガン人は御詳しくないけれどそれは諸階層である」ということは誤りだ
事実8: 「あの自家用は忌まわしくない」ということは正しい
事実9: 「「この防具はＥＸでないけど気付き難い」ということは成り立たない」ということは真実である
事実10: 忌まわしいものはＥＸでないが短拍化する
事実11: 仮にあのアフガン人は短拍化するということはないとすれば「それは求まるということはなくておまけにそれは還元主義である」ということは成り立たない
事実12: もしもあの兵庫助は羆でないとしたら「それがＥＸだし下書きである」ということは正しくない
事実13: もしあのアフガン人は解約し得ないならば「羆であるしかつそれは忌まわしい」ということは間違いだ
事実14: もし仮に「あのアフガン人は忌まわしくない」ということは真実であるなら「ＥＸでないし加えて短拍化する」ということは成り立たない

仮説: 「あのアフガン人はＥＸでないけどそれは短拍化する」ということは成り立たない
1. 事実14と事実3から、仮説が導かれる

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