「もし「大差無くないけれど文学部である」ということは誤っているなら「送達である」ということは事実である」ものはある
fact1: もしも「あのタービンはポップヒントであるし忌ま忌ましい」ということは誤っているとすればそれは送達だ fact2: もし「なんらかのものは送達でない一方でそれは精彩だ」ということは誤っているとすると「それは骨っぽい」ということは成り立つ fact3: 「もしも文学部でないなら送達な」ものはある fact4: もし仮に「あのタービンは大差無くないけどそれは文学部である」ということは成り立たないならば送達である
fact4 -> hypothesis;
fact4 -> hypothesis;
もしも「その固定資産税は送達でないけれど精彩だ」ということは嘘であるならそれは骨っぽい
fact5 -> hypothesis;
$facts$ = fact1: もしも「あのタービンはポップヒントであるし忌ま忌ましい」ということは誤っているとすればそれは送達だ fact2: もし「なんらかのものは送達でない一方でそれは精彩だ」ということは誤っているとすると「それは骨っぽい」ということは成り立つ fact3: 「もしも文学部でないなら送達な」ものはある fact4: もし仮に「あのタービンは大差無くないけどそれは文学部である」ということは成り立たないならば送達である ; $hypothesis$ = 「もし「大差無くないけれど文学部である」ということは誤っているなら「送達である」ということは事実である」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしも「あのタービンはポップヒントであるし忌ま忌ましい」ということは誤っているとすればそれは送達だ
事実2: もし「なんらかのものは送達でない一方でそれは精彩だ」ということは誤っているとすると「それは骨っぽい」ということは成り立つ
事実3: 「もしも文学部でないなら送達な」ものはある
事実4: もし仮に「あのタービンは大差無くないけどそれは文学部である」ということは成り立たないならば送達である

仮説: 「もし「大差無くないけれど文学部である」ということは誤っているなら「送達である」ということは事実である」ものはある
1. 事実4から、仮説が導かれる

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