あるものは不動産競売でないけど相矛盾する
fact1: 「不動産競売で相矛盾する」物はある fact2: なにかは不動産競売でない fact3: その赤岳鉱泉は枯れる fact4: もしその赤岳鉱泉が不動産競売であるならばその充血は免れ難い fact5: もしその赤岳鉱泉が感触だとするとその充血は相矛盾する fact6: 「感触でないがしかし相矛盾する」ものはある fact7: その赤岳鉱泉が不動産競売であるとすればその充血は感触である fact8: あの男性更年期は恐怖しないけどそれは免れ難い fact9: その赤岳鉱泉は感触であるかあるいは免れ難いかもしくはどちらもだ fact10: もし仮にその赤岳鉱泉が免れ難いならばあの充血は相矛盾する fact11: この三百十人は受け入れ難くないがしかし再導入である fact12: その充血は不動産競売でない fact13: 「相矛盾する」ものはある fact14: この制作時期は不動産競売でない
fact9 & fact5 & fact10 -> int1: その充血は相矛盾する; int1 & fact12 -> int2: その充血は不動産競売であるということはないが相矛盾する; int2 -> hypothesis;
fact9 & fact5 & fact10 -> int1: {C}{c}; int1 & fact12 -> int2: (¬{D}{c} & {C}{c}); int2 -> hypothesis;
$facts$ = fact1: 「不動産競売で相矛盾する」物はある fact2: なにかは不動産競売でない fact3: その赤岳鉱泉は枯れる fact4: もしその赤岳鉱泉が不動産競売であるならばその充血は免れ難い fact5: もしその赤岳鉱泉が感触だとするとその充血は相矛盾する fact6: 「感触でないがしかし相矛盾する」ものはある fact7: その赤岳鉱泉が不動産競売であるとすればその充血は感触である fact8: あの男性更年期は恐怖しないけどそれは免れ難い fact9: その赤岳鉱泉は感触であるかあるいは免れ難いかもしくはどちらもだ fact10: もし仮にその赤岳鉱泉が免れ難いならばあの充血は相矛盾する fact11: この三百十人は受け入れ難くないがしかし再導入である fact12: その充血は不動産競売でない fact13: 「相矛盾する」ものはある fact14: この制作時期は不動産競売でない ; $hypothesis$ = あるものは不動産競売でないけど相矛盾する ; $proof$ = 
fact9 & fact5 & fact10 -> int1: その充血は相矛盾する; int1 & fact12 -> int2: その充血は不動産競売であるということはないが相矛盾する; int2 -> hypothesis; __PROVED__
事実1: 「不動産競売で相矛盾する」物はある
事実2: なにかは不動産競売でない
事実3: その赤岳鉱泉は枯れる
事実4: もしその赤岳鉱泉が不動産競売であるならばその充血は免れ難い
事実5: もしその赤岳鉱泉が感触だとするとその充血は相矛盾する
事実6: 「感触でないがしかし相矛盾する」ものはある
事実7: その赤岳鉱泉が不動産競売であるとすればその充血は感触である
事実8: あの男性更年期は恐怖しないけどそれは免れ難い
事実9: その赤岳鉱泉は感触であるかあるいは免れ難いかもしくはどちらもだ
事実10: もし仮にその赤岳鉱泉が免れ難いならばあの充血は相矛盾する
事実11: この三百十人は受け入れ難くないがしかし再導入である
事実12: その充血は不動産競売でない
事実13: 「相矛盾する」ものはある
事実14: この制作時期は不動産競売でない

仮説: あるものは不動産競売でないけど相矛盾する
1. 事実9と事実5と事実10から、推論1: "その充血は相矛盾する"が導かれる
2. 推論1と事実12から、推論2: "その充血は不動産競売であるということはないが相矛盾する"が導かれる
3. 推論2から、仮説が導かれる

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