この占有権は黒水晶でない
fact1: もし仮にあの本震が御詫びだ一方で黒水晶でないならばこの占有権は黒水晶だ fact2: 「御詫びな」物はある fact3: あの本震は御詫びだ fact4: なにがしかのものが深過ぎないとするとそれは御詫びだけど黒水晶でない fact5: この占有権は御詫びでない fact6: あの原審判決は深過ぎる fact7: 手っ取り早い物は御詫びでなくて深過ぎるということはない fact8: 「あの本震は戦慄すけど据え置き期間でない」ということは嘘だとしたら何れする fact9: この占有権は深過ぎる fact10: 何らかの物が深過ぎるしそれにそれが御詫びであるとしたらこの占有権は黒水晶でない fact11: もしもなにかはわりなくないなら「手っ取り早くてさらに崩れ易い」ということは本当でない fact12: なんらかのものは深過ぎる fact13: あの本震は深過ぎる fact14: もしも「なにかは崩れ易くないけれどわりない」ということは誤っているなら手っ取り早い fact15: 「あの海防は御詫びでない」ということは事実と異なるということはない fact16: この占有権は類推するしまた救い出す fact17: あの小規模企業は深過ぎるし様良し fact18: 「なにがしかのものは何れするとしたら「崩れ易くないがわりない」ということは誤りである」ということは本当である
fact13 & fact3 -> int1: 「あの本震は深過ぎるししかもそれは御詫びである」ということは真実である; int1 -> int2: 「深過ぎるし更に御詫びな」物はある; int2 & fact10 -> hypothesis;
fact13 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact10 -> hypothesis;
この占有権は黒水晶だ
fact19 -> int3: もしあの本震が深過ぎないならば御詫びであるし黒水晶でない; fact20 -> int4: もしもあの本震はわりなくないとすれば「それは手っ取り早くておまけに崩れ易い」ということは成り立たない;
$facts$ = fact1: もし仮にあの本震が御詫びだ一方で黒水晶でないならばこの占有権は黒水晶だ fact2: 「御詫びな」物はある fact3: あの本震は御詫びだ fact4: なにがしかのものが深過ぎないとするとそれは御詫びだけど黒水晶でない fact5: この占有権は御詫びでない fact6: あの原審判決は深過ぎる fact7: 手っ取り早い物は御詫びでなくて深過ぎるということはない fact8: 「あの本震は戦慄すけど据え置き期間でない」ということは嘘だとしたら何れする fact9: この占有権は深過ぎる fact10: 何らかの物が深過ぎるしそれにそれが御詫びであるとしたらこの占有権は黒水晶でない fact11: もしもなにかはわりなくないなら「手っ取り早くてさらに崩れ易い」ということは本当でない fact12: なんらかのものは深過ぎる fact13: あの本震は深過ぎる fact14: もしも「なにかは崩れ易くないけれどわりない」ということは誤っているなら手っ取り早い fact15: 「あの海防は御詫びでない」ということは事実と異なるということはない fact16: この占有権は類推するしまた救い出す fact17: あの小規模企業は深過ぎるし様良し fact18: 「なにがしかのものは何れするとしたら「崩れ易くないがわりない」ということは誤りである」ということは本当である ; $hypothesis$ = この占有権は黒水晶でない ; $proof$ = 
fact13 & fact3 -> int1: 「あの本震は深過ぎるししかもそれは御詫びである」ということは真実である; int1 -> int2: 「深過ぎるし更に御詫びな」物はある; int2 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にあの本震が御詫びだ一方で黒水晶でないならばこの占有権は黒水晶だ
事実2: 「御詫びな」物はある
事実3: あの本震は御詫びだ
事実4: なにがしかのものが深過ぎないとするとそれは御詫びだけど黒水晶でない
事実5: この占有権は御詫びでない
事実6: あの原審判決は深過ぎる
事実7: 手っ取り早い物は御詫びでなくて深過ぎるということはない
事実8: 「あの本震は戦慄すけど据え置き期間でない」ということは嘘だとしたら何れする
事実9: この占有権は深過ぎる
事実10: 何らかの物が深過ぎるしそれにそれが御詫びであるとしたらこの占有権は黒水晶でない
事実11: もしもなにかはわりなくないなら「手っ取り早くてさらに崩れ易い」ということは本当でない
事実12: なんらかのものは深過ぎる
事実13: あの本震は深過ぎる
事実14: もしも「なにかは崩れ易くないけれどわりない」ということは誤っているなら手っ取り早い
事実15: 「あの海防は御詫びでない」ということは事実と異なるということはない
事実16: この占有権は類推するしまた救い出す
事実17: あの小規模企業は深過ぎるし様良し
事実18: 「なにがしかのものは何れするとしたら「崩れ易くないがわりない」ということは誤りである」ということは本当である

仮説: この占有権は黒水晶でない
1. 事実13と事実3から、推論1: "「あの本震は深過ぎるししかもそれは御詫びである」ということは真実である"が導かれる
2. 推論1から、推論2: "「深過ぎるし更に御詫びな」物はある"が導かれる
3. 推論2と事実10から、仮説が導かれる

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