その医術師は中間施設でない
fact1: もしも「「ある物は祈願しなくてそれは伝え易いということはない」ということは誤りでない」ということは間違っているとすればそれは中間施設だ fact2: もしも何かは生じ難いとしたら「それは役らしいということはないしさらにＦＯＭＣであるということはない」ということは間違っている fact3: あの後先は祈願する fact4: もしその医術師は祈願するとすれば「それは中間施設でない」ということは誤りである fact5: 青いものは中間施設でなくてしかも役らしくない fact6: その医術師は役らしいなら「祈願しないし伝え易くない」ということは成り立たない fact7: 「鬩ぎ合うし更にぼろい」物はある fact8: 「その医術師は役らしくない」ということは本当でない
fact6 & fact8 -> int1: 「その医術師は祈願しないししかも伝え易くない」ということは誤っている; fact1 -> int2: もしも「その医術師は祈願しないししかも伝え易くない」ということは間違いであるとすればそれは中間施設である; int1 & int2 -> hypothesis;
その医術師は中間施設でない
fact10 -> int3: 「その医術師は青い」ということは事実であるとすればそれは中間施設でなくてそれは役らしくない;
$facts$ = fact1: もしも「「ある物は祈願しなくてそれは伝え易いということはない」ということは誤りでない」ということは間違っているとすればそれは中間施設だ fact2: もしも何かは生じ難いとしたら「それは役らしいということはないしさらにＦＯＭＣであるということはない」ということは間違っている fact3: あの後先は祈願する fact4: もしその医術師は祈願するとすれば「それは中間施設でない」ということは誤りである fact5: 青いものは中間施設でなくてしかも役らしくない fact6: その医術師は役らしいなら「祈願しないし伝え易くない」ということは成り立たない fact7: 「鬩ぎ合うし更にぼろい」物はある fact8: 「その医術師は役らしくない」ということは本当でない ; $hypothesis$ = その医術師は中間施設でない ; $proof$ = 
fact6 & fact8 -> int1: 「その医術師は祈願しないししかも伝え易くない」ということは誤っている; fact1 -> int2: もしも「その医術師は祈願しないししかも伝え易くない」ということは間違いであるとすればそれは中間施設である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「「ある物は祈願しなくてそれは伝え易いということはない」ということは誤りでない」ということは間違っているとすればそれは中間施設だ
事実2: もしも何かは生じ難いとしたら「それは役らしいということはないしさらにＦＯＭＣであるということはない」ということは間違っている
事実3: あの後先は祈願する
事実4: もしその医術師は祈願するとすれば「それは中間施設でない」ということは誤りである
事実5: 青いものは中間施設でなくてしかも役らしくない
事実6: その医術師は役らしいなら「祈願しないし伝え易くない」ということは成り立たない
事実7: 「鬩ぎ合うし更にぼろい」物はある
事実8: 「その医術師は役らしくない」ということは本当でない

仮説: その医術師は中間施設でない
1. 事実6と事実8から、推論1: "「その医術師は祈願しないししかも伝え易くない」ということは誤っている"が導かれる
2. 事実1から、推論2: "もしも「その医術師は祈願しないししかも伝え易くない」ということは間違いであるとすればそれは中間施設である"が導かれる
3. 推論1と推論2から、仮説が否定される

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