そのマルバリアン群は区別すらないし許し難くない
fact1: もしとあるものがねっとりするとするとそれは各寄与度だ fact2: その計測値パタンは入れ始めないか各寄与度であるということはない fact3: 「そのマルバリアン群は区別すが許し難くない」ということは間違いである fact4: もしも「この身体語彙慣用句例は答え難いしその上後退する」ということは成り立たないとするとそれは答え難くない fact5: もし仮にそのＳＲは悪戯っぽいということはないとしたら「この身体語彙慣用句例は答え難いしさらに後退する」ということは嘘である fact6: 「そのマルバリアン群は区別すということはないがしかし許し難い」ということは成り立たない fact7: この身体語彙慣用句例が機能理論であるならばそれは義寂でおまけに入れ始めない fact8: この身体語彙慣用句例が答え難いということはないとしたらそれは加勢するし更にそれは機能理論だ fact9: その計測値パタンが入れ始めないかあるいは各寄与度だということはないならば各寄与度でない fact10: もしもある物が入れ始めるならそれは打ちかます fact11: もし仮にそのマルバリアン群が区別すらなくてしかも許し難くないとすればその計測値パタンは打ちかます fact12: もし仮にそのマルバリアン群は区別す一方で許し難くないとしたら「その計測値パタンは打ちかます」ということは成り立つ fact13: そのＳＲは悪戯っぽくない fact14: もしその計測値パタンが打ちかますとすればねっとりする fact15: もし仮にそのマルバリアン群が区別すということはないけどそれが許し難いとすればその計測値パタンは打ちかます fact16: その計測値パタンは入れ始めないかあるいは各寄与度であるか両方だ
void -> assump1: 以下のように仮定する。そのマルバリアン群は区別すらなくて許し難くない; fact11 & assump1 -> int1: その計測値パタンは打ちかます; int1 & fact14 -> int2: その計測値パタンはねっとりする; fact1 -> int3: もし仮にその計測値パタンがねっとりするならそれは各寄与度である; int2 & int3 -> int4: その計測値パタンは各寄与度だ; fact9 & fact2 -> int5: その計測値パタンは各寄与度でない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
そのマルバリアン群は区別すらなくて許し難くない
fact20 & fact19 -> int7: 「この身体語彙慣用句例は答え難いしその上後退する」ということは嘘である; fact18 & int7 -> int8: 「この身体語彙慣用句例は答え難くない」ということは嘘だということはない; fact17 & int8 -> int9: この身体語彙慣用句例は加勢するししかも機能理論である; int9 -> int10: この身体語彙慣用句例は機能理論である; fact21 & int10 -> int11: この身体語彙慣用句例は義寂であるけどそれは入れ始めない; int11 -> int12: この身体語彙慣用句例は入れ始めない;
$facts$ = fact1: もしとあるものがねっとりするとするとそれは各寄与度だ fact2: その計測値パタンは入れ始めないか各寄与度であるということはない fact3: 「そのマルバリアン群は区別すが許し難くない」ということは間違いである fact4: もしも「この身体語彙慣用句例は答え難いしその上後退する」ということは成り立たないとするとそれは答え難くない fact5: もし仮にそのＳＲは悪戯っぽいということはないとしたら「この身体語彙慣用句例は答え難いしさらに後退する」ということは嘘である fact6: 「そのマルバリアン群は区別すということはないがしかし許し難い」ということは成り立たない fact7: この身体語彙慣用句例が機能理論であるならばそれは義寂でおまけに入れ始めない fact8: この身体語彙慣用句例が答え難いということはないとしたらそれは加勢するし更にそれは機能理論だ fact9: その計測値パタンが入れ始めないかあるいは各寄与度だということはないならば各寄与度でない fact10: もしもある物が入れ始めるならそれは打ちかます fact11: もし仮にそのマルバリアン群が区別すらなくてしかも許し難くないとすればその計測値パタンは打ちかます fact12: もし仮にそのマルバリアン群は区別す一方で許し難くないとしたら「その計測値パタンは打ちかます」ということは成り立つ fact13: そのＳＲは悪戯っぽくない fact14: もしその計測値パタンが打ちかますとすればねっとりする fact15: もし仮にそのマルバリアン群が区別すということはないけどそれが許し難いとすればその計測値パタンは打ちかます fact16: その計測値パタンは入れ始めないかあるいは各寄与度であるか両方だ ; $hypothesis$ = そのマルバリアン群は区別すらないし許し難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのマルバリアン群は区別すらなくて許し難くない; fact11 & assump1 -> int1: その計測値パタンは打ちかます; int1 & fact14 -> int2: その計測値パタンはねっとりする; fact1 -> int3: もし仮にその計測値パタンがねっとりするならそれは各寄与度である; int2 & int3 -> int4: その計測値パタンは各寄与度だ; fact9 & fact2 -> int5: その計測値パタンは各寄与度でない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしとあるものがねっとりするとするとそれは各寄与度だ
事実2: その計測値パタンは入れ始めないか各寄与度であるということはない
事実3: 「そのマルバリアン群は区別すが許し難くない」ということは間違いである
事実4: もしも「この身体語彙慣用句例は答え難いしその上後退する」ということは成り立たないとするとそれは答え難くない
事実5: もし仮にそのＳＲは悪戯っぽいということはないとしたら「この身体語彙慣用句例は答え難いしさらに後退する」ということは嘘である
事実6: 「そのマルバリアン群は区別すということはないがしかし許し難い」ということは成り立たない
事実7: この身体語彙慣用句例が機能理論であるならばそれは義寂でおまけに入れ始めない
事実8: この身体語彙慣用句例が答え難いということはないとしたらそれは加勢するし更にそれは機能理論だ
事実9: その計測値パタンが入れ始めないかあるいは各寄与度だということはないならば各寄与度でない
事実10: もしもある物が入れ始めるならそれは打ちかます
事実11: もし仮にそのマルバリアン群が区別すらなくてしかも許し難くないとすればその計測値パタンは打ちかます
事実12: もし仮にそのマルバリアン群は区別す一方で許し難くないとしたら「その計測値パタンは打ちかます」ということは成り立つ
事実13: そのＳＲは悪戯っぽくない
事実14: もしその計測値パタンが打ちかますとすればねっとりする
事実15: もし仮にそのマルバリアン群が区別すということはないけどそれが許し難いとすればその計測値パタンは打ちかます
事実16: その計測値パタンは入れ始めないかあるいは各寄与度であるか両方だ

仮説: そのマルバリアン群は区別すらないし許し難くない
1. 仮定1: 以下のように仮定する。そのマルバリアン群は区別すらなくて許し難くない
2. 事実11と仮定1から、推論1: "その計測値パタンは打ちかます"が導かれる
3. 推論1と事実14から、推論2: "その計測値パタンはねっとりする"が導かれる
4. 事実1から、推論3: "もし仮にその計測値パタンがねっとりするならそれは各寄与度である"が導かれる
5. 推論2と推論3から、推論4: "その計測値パタンは各寄与度だ"が導かれる
6. 事実9と事実2から、推論5: "その計測値パタンは各寄与度でない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

よって、仮説が否定されました。