「もし仮に「買い易いということはなくてかつ遺構・遺物でない」ということは間違っていれば封じない」ものはある
fact1: 「もし「買い易いけれど遺構・遺物でない」ということは偽だとしたら「封じるということはない」ということは成り立つ」ものはある fact2: もしこのタロットは買い易いということはないしその上遺構・遺物でないとするとそれは封じない fact3: 「なにがしかのものは見窄らしくないし生き難くない」ということは本当でないなら排除しない fact4: 「このタロットは買い易くなくてその上それは遺構・遺物だということはない」ということは成り立たないならば封じない fact5: もし「「このタロットは買い易くなくて更に遺構・遺物でない」ということは成り立たない」ということは真実であるとしたら封じる
fact4 -> hypothesis;
もし仮に「あの家元は見窄らしくないし生き難くない」ということは誤っているとすると「排除しない」ということは成り立つ
fact6 -> hypothesis;
$facts$ = fact1: 「もし「買い易いけれど遺構・遺物でない」ということは偽だとしたら「封じるということはない」ということは成り立つ」ものはある fact2: もしこのタロットは買い易いということはないしその上遺構・遺物でないとするとそれは封じない fact3: 「なにがしかのものは見窄らしくないし生き難くない」ということは本当でないなら排除しない fact4: 「このタロットは買い易くなくてその上それは遺構・遺物だということはない」ということは成り立たないならば封じない fact5: もし「「このタロットは買い易くなくて更に遺構・遺物でない」ということは成り立たない」ということは真実であるとしたら封じる ; $hypothesis$ = 「もし仮に「買い易いということはなくてかつ遺構・遺物でない」ということは間違っていれば封じない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もし「買い易いけれど遺構・遺物でない」ということは偽だとしたら「封じるということはない」ということは成り立つ」ものはある
事実2: もしこのタロットは買い易いということはないしその上遺構・遺物でないとするとそれは封じない
事実3: 「なにがしかのものは見窄らしくないし生き難くない」ということは本当でないなら排除しない
事実4: 「このタロットは買い易くなくてその上それは遺構・遺物だということはない」ということは成り立たないならば封じない
事実5: もし「「このタロットは買い易くなくて更に遺構・遺物でない」ということは成り立たない」ということは真実であるとしたら封じる

仮説: 「もし仮に「買い易いということはなくてかつ遺構・遺物でない」ということは間違っていれば封じない」ものはある
1. 事実4から、仮説が導かれる

よって、仮説が証明されました。