その御影石は意思決定しない
fact1: 仮にあの他党は判断すれば「その血液製剤は説き示すけど競演でない」ということは間違っている fact2: もし仮に「ある物は競演であるかあるいは判断すかまたはどちらもだ」ということは間違いなら説き示さない fact3: その御影石が忙しいならば説き示す fact4: 忙しいということはない物は意思決定しない fact5: その御影石は忙しい fact6: もしあの他党は御祈り致さないとすれば「判断すししかも目の玉だ」ということは確かである fact7: とある物は目の玉でないとすると「競演であるかまたはそれは判断すかあるいは両方ともである」ということは事実でない fact8: もし仮にその御影石が説き示せばそれは意思決定する
fact3 & fact5 -> int1: その御影石は説き示す; int1 & fact8 -> hypothesis;
この薄力は意思決定する
fact9 -> int2: もし「その御影石は競演であるかもしくはそれは判断すかまたは両方ともだ」ということは成り立つということはないとしたらそれは説き示すということはない; fact10 -> int3: その御影石は目の玉でないとすれば「競演であるか判断す」ということは偽である;
$facts$ = fact1: 仮にあの他党は判断すれば「その血液製剤は説き示すけど競演でない」ということは間違っている fact2: もし仮に「ある物は競演であるかあるいは判断すかまたはどちらもだ」ということは間違いなら説き示さない fact3: その御影石が忙しいならば説き示す fact4: 忙しいということはない物は意思決定しない fact5: その御影石は忙しい fact6: もしあの他党は御祈り致さないとすれば「判断すししかも目の玉だ」ということは確かである fact7: とある物は目の玉でないとすると「競演であるかまたはそれは判断すかあるいは両方ともである」ということは事実でない fact8: もし仮にその御影石が説き示せばそれは意思決定する ; $hypothesis$ = その御影石は意思決定しない ; $proof$ = 
fact3 & fact5 -> int1: その御影石は説き示す; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にあの他党は判断すれば「その血液製剤は説き示すけど競演でない」ということは間違っている
事実2: もし仮に「ある物は競演であるかあるいは判断すかまたはどちらもだ」ということは間違いなら説き示さない
事実3: その御影石が忙しいならば説き示す
事実4: 忙しいということはない物は意思決定しない
事実5: その御影石は忙しい
事実6: もしあの他党は御祈り致さないとすれば「判断すししかも目の玉だ」ということは確かである
事実7: とある物は目の玉でないとすると「競演であるかまたはそれは判断すかあるいは両方ともである」ということは事実でない
事実8: もし仮にその御影石が説き示せばそれは意思決定する

仮説: その御影石は意思決定しない
1. 事実3と事実5から、推論1: "その御影石は説き示す"が導かれる
2. 推論1と事実8から、仮説が否定される

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