この起源論は確実視しない
fact1: もしもこの表決は注入なら「税効果であるし著わす」ということは誤っている fact2: もし仮になんらかのものがシックスナインするならそれは著わす fact3: この表決は屈伸する fact4: もしもなんらかの物は注入だとすると「税効果であるしかつ著わしない」ということは事実でない fact5: もし仮に「この表決は税効果だ一方で著わすということはない」ということは事実と異なればこの起源論は確実視しない fact6: もし仮にこの表決が著わすならこの起源論は確実視するということはない fact7: 「この起源論は仰るし更に諦める」ということは成り立たない fact8: もし仮にこの表決が屈伸するとすると注入である fact9: もし仮に「その石川県出身は注入でない」ということは真実であるとすれば「この表決は屈伸しないけど確実視する」ということは間違いだ
fact8 & fact3 -> int1: この表決は注入である; fact4 -> int2: もしも「この表決は注入だ」ということは誤りでないとしたら「税効果であるけれど著わしない」ということは偽である; int1 & int2 -> int3: 「この表決は税効果であるけれど著わしない」ということは偽だ; int3 & fact5 -> hypothesis;
fact8 & fact3 -> int1: {B}{a}; fact4 -> int2: {B}{a} -> ¬({C}{a} & ¬{D}{a}); int1 & int2 -> int3: ¬({C}{a} & ¬{D}{a}); int3 & fact5 -> hypothesis;
この起源論は確実視する
$facts$ = fact1: もしもこの表決は注入なら「税効果であるし著わす」ということは誤っている fact2: もし仮になんらかのものがシックスナインするならそれは著わす fact3: この表決は屈伸する fact4: もしもなんらかの物は注入だとすると「税効果であるしかつ著わしない」ということは事実でない fact5: もし仮に「この表決は税効果だ一方で著わすということはない」ということは事実と異なればこの起源論は確実視しない fact6: もし仮にこの表決が著わすならこの起源論は確実視するということはない fact7: 「この起源論は仰るし更に諦める」ということは成り立たない fact8: もし仮にこの表決が屈伸するとすると注入である fact9: もし仮に「その石川県出身は注入でない」ということは真実であるとすれば「この表決は屈伸しないけど確実視する」ということは間違いだ ; $hypothesis$ = この起源論は確実視しない ; $proof$ = 
fact8 & fact3 -> int1: この表決は注入である; fact4 -> int2: もしも「この表決は注入だ」ということは誤りでないとしたら「税効果であるけれど著わしない」ということは偽である; int1 & int2 -> int3: 「この表決は税効果であるけれど著わしない」ということは偽だ; int3 & fact5 -> hypothesis; __PROVED__
事実1: もしもこの表決は注入なら「税効果であるし著わす」ということは誤っている
事実2: もし仮になんらかのものがシックスナインするならそれは著わす
事実3: この表決は屈伸する
事実4: もしもなんらかの物は注入だとすると「税効果であるしかつ著わしない」ということは事実でない
事実5: もし仮に「この表決は税効果だ一方で著わすということはない」ということは事実と異なればこの起源論は確実視しない
事実6: もし仮にこの表決が著わすならこの起源論は確実視するということはない
事実7: 「この起源論は仰るし更に諦める」ということは成り立たない
事実8: もし仮にこの表決が屈伸するとすると注入である
事実9: もし仮に「その石川県出身は注入でない」ということは真実であるとすれば「この表決は屈伸しないけど確実視する」ということは間違いだ

仮説: この起源論は確実視しない
1. 事実8と事実3から、推論1: "この表決は注入である"が導かれる
2. 事実4から、推論2: "もしも「この表決は注入だ」ということは誤りでないとしたら「税効果であるけれど著わしない」ということは偽である"が導かれる
3. 推論1と推論2から、推論3: "「この表決は税効果であるけれど著わしない」ということは偽だ"が導かれる
4. 推論3と事実5から、仮説が導かれる

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