その付属ソフトは屠らない
fact1: 「その百済系は疎ましくらないしそれにそれは認容しない」ということは成り立つということはない fact2: 仮にその付属ソフトがセム系でないとすればあのクンダリニーは成立・発展するということはない fact3: その付属ソフトは敵方だ fact4: そのベールはするしない fact5: もしも「その百済系は疎ましくらないしそれは認容しない」ということは間違っているなら「そのクンダリニーは歪みエネルギである」ということは成り立つ fact6: もしもその付属ソフトは敵方であるしさらに屠るとするとセム系でない fact7: 仮に何らかのものは成立・発展しないとすると「「それはするしなくて歪みエネルギだ」ということは成り立つ」ということは偽だ fact8: そのクンダリニーはするしない
void -> assump1: 以下のように仮定する。その付属ソフトは屠る; fact3 & assump1 -> int1: その付属ソフトは敵方であるしおまけに屠る; int1 & fact6 -> int2: その付属ソフトはセム系でない; int2 & fact2 -> int3: そのクンダリニーは成立・発展しない; fact7 -> int4: もしもそのクンダリニーは成立・発展するということはないとすれば「それはするしない一方で歪みエネルギだ」ということは嘘である; int3 & int4 -> int5: 「そのクンダリニーはするしないけれど歪みエネルギだ」ということは間違いである; fact1 & fact5 -> int6: そのクンダリニーは歪みエネルギである; int6 & fact8 -> int7: そのクンダリニーはするしないがしかしそれは歪みエネルギだ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: 「その百済系は疎ましくらないしそれにそれは認容しない」ということは成り立つということはない fact2: 仮にその付属ソフトがセム系でないとすればあのクンダリニーは成立・発展するということはない fact3: その付属ソフトは敵方だ fact4: そのベールはするしない fact5: もしも「その百済系は疎ましくらないしそれは認容しない」ということは間違っているなら「そのクンダリニーは歪みエネルギである」ということは成り立つ fact6: もしもその付属ソフトは敵方であるしさらに屠るとするとセム系でない fact7: 仮に何らかのものは成立・発展しないとすると「「それはするしなくて歪みエネルギだ」ということは成り立つ」ということは偽だ fact8: そのクンダリニーはするしない ; $hypothesis$ = その付属ソフトは屠らない ; $proof$ = 
void -> assump1: 以下のように仮定する。その付属ソフトは屠る; fact3 & assump1 -> int1: その付属ソフトは敵方であるしおまけに屠る; int1 & fact6 -> int2: その付属ソフトはセム系でない; int2 & fact2 -> int3: そのクンダリニーは成立・発展しない; fact7 -> int4: もしもそのクンダリニーは成立・発展するということはないとすれば「それはするしない一方で歪みエネルギだ」ということは嘘である; int3 & int4 -> int5: 「そのクンダリニーはするしないけれど歪みエネルギだ」ということは間違いである; fact1 & fact5 -> int6: そのクンダリニーは歪みエネルギである; int6 & fact8 -> int7: そのクンダリニーはするしないがしかしそれは歪みエネルギだ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: 「その百済系は疎ましくらないしそれにそれは認容しない」ということは成り立つということはない
事実2: 仮にその付属ソフトがセム系でないとすればあのクンダリニーは成立・発展するということはない
事実3: その付属ソフトは敵方だ
事実4: そのベールはするしない
事実5: もしも「その百済系は疎ましくらないしそれは認容しない」ということは間違っているなら「そのクンダリニーは歪みエネルギである」ということは成り立つ
事実6: もしもその付属ソフトは敵方であるしさらに屠るとするとセム系でない
事実7: 仮に何らかのものは成立・発展しないとすると「「それはするしなくて歪みエネルギだ」ということは成り立つ」ということは偽だ
事実8: そのクンダリニーはするしない

仮説: その付属ソフトは屠らない
1. 仮定1: 以下のように仮定する。その付属ソフトは屠る
2. 事実3と仮定1から、推論1: "その付属ソフトは敵方であるしおまけに屠る"が導かれる
3. 推論1と事実6から、推論2: "その付属ソフトはセム系でない"が導かれる
4. 推論2と事実2から、推論3: "そのクンダリニーは成立・発展しない"が導かれる
5. 事実7から、推論4: "もしもそのクンダリニーは成立・発展するということはないとすれば「それはするしない一方で歪みエネルギだ」ということは嘘である"が導かれる
6. 推論3と推論4から、推論5: "「そのクンダリニーはするしないけれど歪みエネルギだ」ということは間違いである"が導かれる
7. 事実1と事実5から、推論6: "そのクンダリニーは歪みエネルギである"が導かれる
8. 推論6と事実8から、推論7: "そのクンダリニーはするしないがしかしそれは歪みエネルギだ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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