この技術効果は改組す
fact1: もしもこの技術効果が即死すれば出現し易い fact2: あの正義漢が理解し難いししかも薬物選択であるとしたらこの技術効果は改組すらない fact3: あの正義漢は結膜だ fact4: あの正義漢は出現し易い fact5: あの正義漢はちりちりするし薬物選択である fact6: この技術効果は理解し難い fact7: あの正義漢はちりちりする fact8: あの正義漢が改組すとしたら出現し易い fact9: 仮に「この技術効果は薬物選択でないかもしくは隠棲するかもしくは両方ともである」ということは成り立たないとするとあの正義漢は隠棲する fact10: この技術効果はちりちりする fact11: もしあの正義漢は出現し易いとすれば「それは理解し難い」ということは確かである fact12: もし仮にこの隠居所が期待し難いとすると埃っぽい fact13: もし仮になにかは薬物選択でないならちりちりするしそれは改組す
fact5 -> int1: あの正義漢は薬物選択だ; fact4 & fact11 -> int2: あの正義漢は理解し難い; int1 & int2 -> int3: あの正義漢は理解し難いし薬物選択である; int3 & fact2 -> hypothesis;
「この技術効果は改組す」ということは成り立つ
fact14 -> int4: もしも「この技術効果は薬物選択でない」ということは正しいとするとちりちりするしまた改組す;
$facts$ = fact1: もしもこの技術効果が即死すれば出現し易い fact2: あの正義漢が理解し難いししかも薬物選択であるとしたらこの技術効果は改組すらない fact3: あの正義漢は結膜だ fact4: あの正義漢は出現し易い fact5: あの正義漢はちりちりするし薬物選択である fact6: この技術効果は理解し難い fact7: あの正義漢はちりちりする fact8: あの正義漢が改組すとしたら出現し易い fact9: 仮に「この技術効果は薬物選択でないかもしくは隠棲するかもしくは両方ともである」ということは成り立たないとするとあの正義漢は隠棲する fact10: この技術効果はちりちりする fact11: もしあの正義漢は出現し易いとすれば「それは理解し難い」ということは確かである fact12: もし仮にこの隠居所が期待し難いとすると埃っぽい fact13: もし仮になにかは薬物選択でないならちりちりするしそれは改組す ; $hypothesis$ = この技術効果は改組す ; $proof$ = 
fact5 -> int1: あの正義漢は薬物選択だ; fact4 & fact11 -> int2: あの正義漢は理解し難い; int1 & int2 -> int3: あの正義漢は理解し難いし薬物選択である; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもこの技術効果が即死すれば出現し易い
事実2: あの正義漢が理解し難いししかも薬物選択であるとしたらこの技術効果は改組すらない
事実3: あの正義漢は結膜だ
事実4: あの正義漢は出現し易い
事実5: あの正義漢はちりちりするし薬物選択である
事実6: この技術効果は理解し難い
事実7: あの正義漢はちりちりする
事実8: あの正義漢が改組すとしたら出現し易い
事実9: 仮に「この技術効果は薬物選択でないかもしくは隠棲するかもしくは両方ともである」ということは成り立たないとするとあの正義漢は隠棲する
事実10: この技術効果はちりちりする
事実11: もしあの正義漢は出現し易いとすれば「それは理解し難い」ということは確かである
事実12: もし仮にこの隠居所が期待し難いとすると埃っぽい
事実13: もし仮になにかは薬物選択でないならちりちりするしそれは改組す

仮説: この技術効果は改組す
1. 事実5から、推論1: "あの正義漢は薬物選択だ"が導かれる
2. 事実4と事実11から、推論2: "あの正義漢は理解し難い"が導かれる
3. 推論1と推論2から、推論3: "あの正義漢は理解し難いし薬物選択である"が導かれる
4. 推論3と事実2から、仮説が否定される

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