あの松陰等は首尾良くないけれど遺跡ポイントである
fact1: 遺跡ポイントはある fact2: 何らかの物は救い難いということはないとすると「それは首尾良くないがしかし遺跡ポイントである」ということは成り立たない fact3: 「救い難くない」ものはある fact4: 「救い難い」物はある fact5: あの松陰等は遺跡ポイントである fact6: もしも「救い難くない」物があるとすればあの松陰等は首尾良くない
fact3 & fact6 -> int1: あの松陰等は首尾良くない; int1 & fact5 -> hypothesis;
fact3 & fact6 -> int1: ¬{B}{a}; int1 & fact5 -> hypothesis;
「あの松陰等は首尾良いということはないが遺跡ポイントだ」ということは偽である
fact7 -> int2: 仮にあの松陰等は救い難くないとすると「首尾良くない一方で遺跡ポイントである」ということは成り立たない;
$facts$ = fact1: 遺跡ポイントはある fact2: 何らかの物は救い難いということはないとすると「それは首尾良くないがしかし遺跡ポイントである」ということは成り立たない fact3: 「救い難くない」ものはある fact4: 「救い難い」物はある fact5: あの松陰等は遺跡ポイントである fact6: もしも「救い難くない」物があるとすればあの松陰等は首尾良くない ; $hypothesis$ = あの松陰等は首尾良くないけれど遺跡ポイントである ; $proof$ = 
fact3 & fact6 -> int1: あの松陰等は首尾良くない; int1 & fact5 -> hypothesis; __PROVED__
事実1: 遺跡ポイントはある
事実2: 何らかの物は救い難いということはないとすると「それは首尾良くないがしかし遺跡ポイントである」ということは成り立たない
事実3: 「救い難くない」ものはある
事実4: 「救い難い」物はある
事実5: あの松陰等は遺跡ポイントである
事実6: もしも「救い難くない」物があるとすればあの松陰等は首尾良くない

仮説: あの松陰等は首尾良くないけれど遺跡ポイントである
1. 事実3と事実6から、推論1: "あの松陰等は首尾良くない"が導かれる
2. 推論1と事実5から、仮説が導かれる

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