「とある物は信じ易くない一方でそれは高める」ということは間違っている
fact1: 仮にこの禁中が信じ易くないとしたらこの仮借は信じ易くない fact2: もしこの世界内存在が絶え難いならば掛かれない fact3: 「この仮借は重くない」ということは真実だ fact4: この仮借は信じ易くない fact5: もし仮に「ある物は第七回大会でない」ということは真実だとしたらそれは信じ易くない fact6: もし仮にこの禁中が信じ易くないならこの仮借は信じ易くない一方で高める fact7: なにがしかの物は捧げるか隠れるかあるいはどちらもだとしたらそれは第七回大会でない fact8: もしあの紙さんが迷い難いとしたらこの禁中は隠れる fact9: 迷い難いしその上信じ易い物はある fact10: 「高める」物はある fact11: 「あの紙さんは迷い難い」ということは確かだ
fact8 & fact11 -> int1: この禁中は隠れる; int1 -> int2: この禁中は捧げるかそれは隠れるかあるいは両方だ; fact7 -> int3: もし仮にこの禁中が捧げるかあるいは隠れるかあるいは両方なら第七回大会でない; int2 & int3 -> int4: この禁中は第七回大会でない; fact5 -> int5: もし仮にこの禁中が第七回大会だということはないならば信じ易いということはない; int4 & int5 -> int6: この禁中は信じ易くない; int6 & fact6 -> int7: この仮借は信じ易いということはない一方で高める; int7 -> hypothesis;
$facts$ = fact1: 仮にこの禁中が信じ易くないとしたらこの仮借は信じ易くない fact2: もしこの世界内存在が絶え難いならば掛かれない fact3: 「この仮借は重くない」ということは真実だ fact4: この仮借は信じ易くない fact5: もし仮に「ある物は第七回大会でない」ということは真実だとしたらそれは信じ易くない fact6: もし仮にこの禁中が信じ易くないならこの仮借は信じ易くない一方で高める fact7: なにがしかの物は捧げるか隠れるかあるいはどちらもだとしたらそれは第七回大会でない fact8: もしあの紙さんが迷い難いとしたらこの禁中は隠れる fact9: 迷い難いしその上信じ易い物はある fact10: 「高める」物はある fact11: 「あの紙さんは迷い難い」ということは確かだ ; $hypothesis$ = 「とある物は信じ易くない一方でそれは高める」ということは間違っている ; $proof$ = 
fact8 & fact11 -> int1: この禁中は隠れる; int1 -> int2: この禁中は捧げるかそれは隠れるかあるいは両方だ; fact7 -> int3: もし仮にこの禁中が捧げるかあるいは隠れるかあるいは両方なら第七回大会でない; int2 & int3 -> int4: この禁中は第七回大会でない; fact5 -> int5: もし仮にこの禁中が第七回大会だということはないならば信じ易いということはない; int4 & int5 -> int6: この禁中は信じ易くない; int6 & fact6 -> int7: この仮借は信じ易いということはない一方で高める; int7 -> hypothesis; __DISPROVED__
事実1: 仮にこの禁中が信じ易くないとしたらこの仮借は信じ易くない
事実2: もしこの世界内存在が絶え難いならば掛かれない
事実3: 「この仮借は重くない」ということは真実だ
事実4: この仮借は信じ易くない
事実5: もし仮に「ある物は第七回大会でない」ということは真実だとしたらそれは信じ易くない
事実6: もし仮にこの禁中が信じ易くないならこの仮借は信じ易くない一方で高める
事実7: なにがしかの物は捧げるか隠れるかあるいはどちらもだとしたらそれは第七回大会でない
事実8: もしあの紙さんが迷い難いとしたらこの禁中は隠れる
事実9: 迷い難いしその上信じ易い物はある
事実10: 「高める」物はある
事実11: 「あの紙さんは迷い難い」ということは確かだ

仮説: 「とある物は信じ易くない一方でそれは高める」ということは間違っている
1. 事実8と事実11から、推論1: "この禁中は隠れる"が導かれる
2. 推論1から、推論2: "この禁中は捧げるかそれは隠れるかあるいは両方だ"が導かれる
3. 事実7から、推論3: "もし仮にこの禁中が捧げるかあるいは隠れるかあるいは両方なら第七回大会でない"が導かれる
4. 推論2と推論3から、推論4: "この禁中は第七回大会でない"が導かれる
5. 事実5から、推論5: "もし仮にこの禁中が第七回大会だということはないならば信じ易いということはない"が導かれる
6. 推論4と推論5から、推論6: "この禁中は信じ易くない"が導かれる
7. 推論6と事実6から、推論7: "この仮借は信じ易いということはない一方で高める"が導かれる
8. 推論7から、仮説が否定される

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