「あの元老は助け合えないか結審するかもしくは両方である」ということは成り立つということはない
fact1: もし仮にその多数派言語は結審しないとすると「あの元老は助け合えないか結審するかもしくは両方ともである」ということは誤っている fact2: 仮にその多数派言語が結審するということはないならばあの元老は結審しない fact3: 「あの元老は結審しない」ということは本当である fact4: その多数派言語は事らしくない一方で根気良い fact5: もし仮にその多数派言語が事らしくないけどそれが根気良いとすれば結審しない fact6: その多数派言語は事らしくない
fact5 & fact4 -> int1: その多数派言語は結審しない; int1 & fact1 -> hypothesis;
fact5 & fact4 -> int1: ¬{B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にその多数派言語は結審しないとすると「あの元老は助け合えないか結審するかもしくは両方ともである」ということは誤っている fact2: 仮にその多数派言語が結審するということはないならばあの元老は結審しない fact3: 「あの元老は結審しない」ということは本当である fact4: その多数派言語は事らしくない一方で根気良い fact5: もし仮にその多数派言語が事らしくないけどそれが根気良いとすれば結審しない fact6: その多数派言語は事らしくない ; $hypothesis$ = 「あの元老は助け合えないか結審するかもしくは両方である」ということは成り立つということはない ; $proof$ = 
fact5 & fact4 -> int1: その多数派言語は結審しない; int1 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にその多数派言語は結審しないとすると「あの元老は助け合えないか結審するかもしくは両方ともである」ということは誤っている
事実2: 仮にその多数派言語が結審するということはないならばあの元老は結審しない
事実3: 「あの元老は結審しない」ということは本当である
事実4: その多数派言語は事らしくない一方で根気良い
事実5: もし仮にその多数派言語が事らしくないけどそれが根気良いとすれば結審しない
事実6: その多数派言語は事らしくない

仮説: 「あの元老は助け合えないか結審するかもしくは両方である」ということは成り立つということはない
1. 事実5と事実4から、推論1: "その多数派言語は結審しない"が導かれる
2. 推論1と事実1から、仮説が導かれる

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