あのイルリグ・カガンは改定するかまたは息抜きでない
fact1: もしもなにがしかの物がめでたしならば皮剥であるかあるいは息抜きであるということはない fact2: 「もしもこの独り者がめでたしということはないとしたらあのイルリグ・カガンは改定するか息抜きでないか両方ともだ」ということは確かである fact3: この独り者はめでたしない
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
この二ツイーターは皮剥であるかもしくはそれは息抜きでないかどちらもである
fact4 -> int1: もしもこの二ツイーターがめでたしとすればそれは皮剥であるかあるいは息抜きでないかあるいは両方である;
$facts$ = fact1: もしもなにがしかの物がめでたしならば皮剥であるかあるいは息抜きであるということはない fact2: 「もしもこの独り者がめでたしということはないとしたらあのイルリグ・カガンは改定するか息抜きでないか両方ともだ」ということは確かである fact3: この独り者はめでたしない ; $hypothesis$ = あのイルリグ・カガンは改定するかまたは息抜きでない ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物がめでたしならば皮剥であるかあるいは息抜きであるということはない
事実2: 「もしもこの独り者がめでたしということはないとしたらあのイルリグ・カガンは改定するか息抜きでないか両方ともだ」ということは確かである
事実3: この独り者はめでたしない

仮説: あのイルリグ・カガンは改定するかまたは息抜きでない
1. 事実2と事実3から、仮説が導かれる

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