「この半べそは憎いがそれは通行税でない」ということは成り立たない
fact1: もしこの半べそが分節するということはないとしたら憎い一方で通行税でない fact2: もしもこの半べそは分節するとしたら「それは憎い一方で通行税でない」ということは間違いである fact3: この半べそは分節する fact4: 仮にそのポルノグラフィはがめついならば「小気味良い一方で発生し易くない」ということは偽だ fact5: 「この半べそは憎くて通行税である」ということは間違いだ fact6: もしもなんらかのものは分節しないとすれば「それは七時前である一方で憎くない」ということは事実と異なる fact7: 仮にこの半べそは分節すれば「それは憎くて加えてそれは通行税だ」ということは間違っている fact8: そのＩＴＳビジネスは分節する
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
この半べそは憎いけど通行税でない
$facts$ = fact1: もしこの半べそが分節するということはないとしたら憎い一方で通行税でない fact2: もしもこの半べそは分節するとしたら「それは憎い一方で通行税でない」ということは間違いである fact3: この半べそは分節する fact4: 仮にそのポルノグラフィはがめついならば「小気味良い一方で発生し易くない」ということは偽だ fact5: 「この半べそは憎くて通行税である」ということは間違いだ fact6: もしもなんらかのものは分節しないとすれば「それは七時前である一方で憎くない」ということは事実と異なる fact7: 仮にこの半べそは分節すれば「それは憎くて加えてそれは通行税だ」ということは間違っている fact8: そのＩＴＳビジネスは分節する ; $hypothesis$ = 「この半べそは憎いがそれは通行税でない」ということは成り立たない ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: もしこの半べそが分節するということはないとしたら憎い一方で通行税でない
事実2: もしもこの半べそは分節するとしたら「それは憎い一方で通行税でない」ということは間違いである
事実3: この半べそは分節する
事実4: 仮にそのポルノグラフィはがめついならば「小気味良い一方で発生し易くない」ということは偽だ
事実5: 「この半べそは憎くて通行税である」ということは間違いだ
事実6: もしもなんらかのものは分節しないとすれば「それは七時前である一方で憎くない」ということは事実と異なる
事実7: 仮にこの半べそは分節すれば「それは憎くて加えてそれは通行税だ」ということは間違っている
事実8: そのＩＴＳビジネスは分節する

仮説: 「この半べそは憎いがそれは通行税でない」ということは成り立たない
1. 事実2と事実3から、仮説が導かれる

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