あの当該個人情報は保守する
fact1: あの定価は程良くない fact2: 「もしもあの定価が保守するがそれが苛立たしいということはないとしたらあの当該個人情報は保守しない」ということは真実である fact3: もし仮にこの降伏が伝え難い一方で伏せるということはないとするとあの当該個人情報は保守する fact4: 仮にあの定価は程良くないとすれば「この降伏は伝え難くなくてその上それは伏せない」ということは成り立つ fact5: この降伏が伝え難いということはないし伏せないとするとあの当該個人情報は保守する
fact4 & fact1 -> int1: この降伏は伝え難くないし加えて伏せない; int1 & fact5 -> hypothesis;
fact4 & fact1 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact5 -> hypothesis;
あの当該個人情報は保守しない
$facts$ = fact1: あの定価は程良くない fact2: 「もしもあの定価が保守するがそれが苛立たしいということはないとしたらあの当該個人情報は保守しない」ということは真実である fact3: もし仮にこの降伏が伝え難い一方で伏せるということはないとするとあの当該個人情報は保守する fact4: 仮にあの定価は程良くないとすれば「この降伏は伝え難くなくてその上それは伏せない」ということは成り立つ fact5: この降伏が伝え難いということはないし伏せないとするとあの当該個人情報は保守する ; $hypothesis$ = あの当該個人情報は保守する ; $proof$ = 
fact4 & fact1 -> int1: この降伏は伝え難くないし加えて伏せない; int1 & fact5 -> hypothesis; __PROVED__
事実1: あの定価は程良くない
事実2: 「もしもあの定価が保守するがそれが苛立たしいということはないとしたらあの当該個人情報は保守しない」ということは真実である
事実3: もし仮にこの降伏が伝え難い一方で伏せるということはないとするとあの当該個人情報は保守する
事実4: 仮にあの定価は程良くないとすれば「この降伏は伝え難くなくてその上それは伏せない」ということは成り立つ
事実5: この降伏が伝え難いということはないし伏せないとするとあの当該個人情報は保守する

仮説: あの当該個人情報は保守する
1. 事実4と事実1から、推論1: "この降伏は伝え難くないし加えて伏せない"が導かれる
2. 推論1と事実5から、仮説が導かれる

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