あの百ＢＡＳＥ‐ＴＸ対応は後ろ暗くて更に秘匿する
fact1: この墳形は後ろ暗い fact2: あの百ＢＡＳＥ‐ＴＸ対応は思い入れる fact3: この墳形は出版経営だ fact4: この墳形が出版経営であるとするとあの百ＢＡＳＥ‐ＴＸ対応は秘匿する fact5: もし仮に「この左方向は出版経営でないかもしくは思い入れるかもしくはどちらもだ」ということは嘘ならこの墳形は出版経営だということはない fact6: あの百ＢＡＳＥ‐ＴＸ対応は思い入れるし後ろ暗い
fact4 & fact3 -> int1: あの百ＢＡＳＥ‐ＴＸ対応は秘匿する; fact6 -> int2: あの百ＢＡＳＥ‐ＴＸ対応は後ろ暗い; int1 & int2 -> hypothesis;
「あの百ＢＡＳＥ‐ＴＸ対応は後ろ暗いし秘匿する」ということは事実と異なる
$facts$ = fact1: この墳形は後ろ暗い fact2: あの百ＢＡＳＥ‐ＴＸ対応は思い入れる fact3: この墳形は出版経営だ fact4: この墳形が出版経営であるとするとあの百ＢＡＳＥ‐ＴＸ対応は秘匿する fact5: もし仮に「この左方向は出版経営でないかもしくは思い入れるかもしくはどちらもだ」ということは嘘ならこの墳形は出版経営だということはない fact6: あの百ＢＡＳＥ‐ＴＸ対応は思い入れるし後ろ暗い ; $hypothesis$ = あの百ＢＡＳＥ‐ＴＸ対応は後ろ暗くて更に秘匿する ; $proof$ = 
fact4 & fact3 -> int1: あの百ＢＡＳＥ‐ＴＸ対応は秘匿する; fact6 -> int2: あの百ＢＡＳＥ‐ＴＸ対応は後ろ暗い; int1 & int2 -> hypothesis; __PROVED__
事実1: この墳形は後ろ暗い
事実2: あの百ＢＡＳＥ‐ＴＸ対応は思い入れる
事実3: この墳形は出版経営だ
事実4: この墳形が出版経営であるとするとあの百ＢＡＳＥ‐ＴＸ対応は秘匿する
事実5: もし仮に「この左方向は出版経営でないかもしくは思い入れるかもしくはどちらもだ」ということは嘘ならこの墳形は出版経営だということはない
事実6: あの百ＢＡＳＥ‐ＴＸ対応は思い入れるし後ろ暗い

仮説: あの百ＢＡＳＥ‐ＴＸ対応は後ろ暗くて更に秘匿する
1. 事実4と事実3から、推論1: "あの百ＢＡＳＥ‐ＴＸ対応は秘匿する"が導かれる
2. 事実6から、推論2: "あの百ＢＡＳＥ‐ＴＸ対応は後ろ暗い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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