そのテルグ語は採集だが更生会社でない
fact1: 「あのコンパイル時は更生会社である」ということは本当だ fact2: もしもなにかはジャングル大帝でないとすればそのテルグ語は採集である一方で更生会社でない fact3: 仮になんらかのものはジャングル大帝ならば「それが採集だししかも更生会社であるということはない」ということは偽だ fact4: 「ジャングル大帝でない」ものはある
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
「そのテルグ語は採集であるがそれは更生会社でない」ということは成り立つということはない
fact5 -> int1: もしそのテルグ語はジャングル大帝であるとすると「採集であって更生会社でない」ということは間違いだ;
$facts$ = fact1: 「あのコンパイル時は更生会社である」ということは本当だ fact2: もしもなにかはジャングル大帝でないとすればそのテルグ語は採集である一方で更生会社でない fact3: 仮になんらかのものはジャングル大帝ならば「それが採集だししかも更生会社であるということはない」ということは偽だ fact4: 「ジャングル大帝でない」ものはある ; $hypothesis$ = そのテルグ語は採集だが更生会社でない ; $proof$ = 
fact4 & fact2 -> hypothesis; __PROVED__
事実1: 「あのコンパイル時は更生会社である」ということは本当だ
事実2: もしもなにかはジャングル大帝でないとすればそのテルグ語は採集である一方で更生会社でない
事実3: 仮になんらかのものはジャングル大帝ならば「それが採集だししかも更生会社であるということはない」ということは偽だ
事実4: 「ジャングル大帝でない」ものはある

仮説: そのテルグ語は採集だが更生会社でない
1. 事実4と事実2から、仮説が導かれる

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