その影響力はヘッジ目的でない
fact1: その守護職が使い終わらないとするとその影響力はヘッジ目的である fact2: その悪疫は使い終わらない fact3: もし仮にその守護職がヘッジ目的でないとするとその影響力は使い終わる fact4: そのパートＡＥは如何わしくないしまた特設しない fact5: 「使い終わるということはないしさらに如何わしくない」ものはある fact6: そのパートＡＥは特設しなくておまけにヘッジ目的でない fact7: 仮に「如何わしくないしまた特設しない」物があるならその守護職は使い終わらない fact8: もし仮になにがしかの物が相乗りするけどそれが使い終わるということはないとしたらそれは特設しない
fact4 -> int1: 何らかのものは如何わしくないし更に特設するということはない; int1 & fact7 -> int2: その守護職は使い終わらない; int2 & fact1 -> hypothesis;
その影響力はヘッジ目的でない
fact9 -> int3: もしもその守護職が相乗りするがしかし使い終わるということはないならば特設するということはない;
$facts$ = fact1: その守護職が使い終わらないとするとその影響力はヘッジ目的である fact2: その悪疫は使い終わらない fact3: もし仮にその守護職がヘッジ目的でないとするとその影響力は使い終わる fact4: そのパートＡＥは如何わしくないしまた特設しない fact5: 「使い終わるということはないしさらに如何わしくない」ものはある fact6: そのパートＡＥは特設しなくておまけにヘッジ目的でない fact7: 仮に「如何わしくないしまた特設しない」物があるならその守護職は使い終わらない fact8: もし仮になにがしかの物が相乗りするけどそれが使い終わるということはないとしたらそれは特設しない ; $hypothesis$ = その影響力はヘッジ目的でない ; $proof$ = 
fact4 -> int1: 何らかのものは如何わしくないし更に特設するということはない; int1 & fact7 -> int2: その守護職は使い終わらない; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: その守護職が使い終わらないとするとその影響力はヘッジ目的である
事実2: その悪疫は使い終わらない
事実3: もし仮にその守護職がヘッジ目的でないとするとその影響力は使い終わる
事実4: そのパートＡＥは如何わしくないしまた特設しない
事実5: 「使い終わるということはないしさらに如何わしくない」ものはある
事実6: そのパートＡＥは特設しなくておまけにヘッジ目的でない
事実7: 仮に「如何わしくないしまた特設しない」物があるならその守護職は使い終わらない
事実8: もし仮になにがしかの物が相乗りするけどそれが使い終わるということはないとしたらそれは特設しない

仮説: その影響力はヘッジ目的でない
1. 事実4から、推論1: "何らかのものは如何わしくないし更に特設するということはない"が導かれる
2. 推論1と事実7から、推論2: "その守護職は使い終わらない"が導かれる
3. 推論2と事実1から、仮説が否定される

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