「もしも仮定的独占者テストだし旧式戦艦であるならＨＯＤスコアだということはない」物はある
fact1: 仮にあの秋風山が仮定的独占者テストだしさらに旧式戦艦なら「それはＨＯＤスコアだ」ということは成り立つ fact2: もし仮にあるものが仮定的独占者テストでしかも旧式戦艦であるとしたらＨＯＤスコアだ fact3: 仮にあの三条大橋は高野家でしかも御美しいとすればそれはＨＯＤスコアでない fact4: 仮にあの製造原価報告書がＵＤＥだしさらに均衡為替レートだとすれば黄金分割する fact5: 「仮定的独占者テストであるし旧式戦艦だとしたらＨＯＤスコアである」ものはある fact6: もしも敢え無い物が配慮するとすると起き難くない fact7: 「日本人らしいししかも形容し難いとすれば物珍しい」ものはある fact8: 仮に起き難いものが焦れったいならそれは聞き易くない fact9: もし仮にあの事件当夜は比較し難くてかつＨＯＤスコアならば「それはエクスポーズである」ということは事実である fact10: もしもあの秋風山が組織体制だしおまけに仮定的独占者テストであるならばそれは生まれ落ちるということはない fact11: もしも仮定的独占者テストは旧式戦艦であるとするとＨＯＤスコアでない fact12: なにかは奪い去るしそれに嘗め合うとすればそれは伸ばし易い fact13: 名状し難いものが山積みすればそれは答え難くない
fact11 -> int1: 仮にあの秋風山は仮定的独占者テストであるし旧式戦艦であるならＨＯＤスコアだということはない; int1 -> hypothesis;
$facts$ = fact1: 仮にあの秋風山が仮定的独占者テストだしさらに旧式戦艦なら「それはＨＯＤスコアだ」ということは成り立つ fact2: もし仮にあるものが仮定的独占者テストでしかも旧式戦艦であるとしたらＨＯＤスコアだ fact3: 仮にあの三条大橋は高野家でしかも御美しいとすればそれはＨＯＤスコアでない fact4: 仮にあの製造原価報告書がＵＤＥだしさらに均衡為替レートだとすれば黄金分割する fact5: 「仮定的独占者テストであるし旧式戦艦だとしたらＨＯＤスコアである」ものはある fact6: もしも敢え無い物が配慮するとすると起き難くない fact7: 「日本人らしいししかも形容し難いとすれば物珍しい」ものはある fact8: 仮に起き難いものが焦れったいならそれは聞き易くない fact9: もし仮にあの事件当夜は比較し難くてかつＨＯＤスコアならば「それはエクスポーズである」ということは事実である fact10: もしもあの秋風山が組織体制だしおまけに仮定的独占者テストであるならばそれは生まれ落ちるということはない fact11: もしも仮定的独占者テストは旧式戦艦であるとするとＨＯＤスコアでない fact12: なにかは奪い去るしそれに嘗め合うとすればそれは伸ばし易い fact13: 名状し難いものが山積みすればそれは答え難くない ; $hypothesis$ = 「もしも仮定的独占者テストだし旧式戦艦であるならＨＯＤスコアだということはない」物はある ; $proof$ = 
fact11 -> int1: 仮にあの秋風山は仮定的独占者テストであるし旧式戦艦であるならＨＯＤスコアだということはない; int1 -> hypothesis; __PROVED__
事実1: 仮にあの秋風山が仮定的独占者テストだしさらに旧式戦艦なら「それはＨＯＤスコアだ」ということは成り立つ
事実2: もし仮にあるものが仮定的独占者テストでしかも旧式戦艦であるとしたらＨＯＤスコアだ
事実3: 仮にあの三条大橋は高野家でしかも御美しいとすればそれはＨＯＤスコアでない
事実4: 仮にあの製造原価報告書がＵＤＥだしさらに均衡為替レートだとすれば黄金分割する
事実5: 「仮定的独占者テストであるし旧式戦艦だとしたらＨＯＤスコアである」ものはある
事実6: もしも敢え無い物が配慮するとすると起き難くない
事実7: 「日本人らしいししかも形容し難いとすれば物珍しい」ものはある
事実8: 仮に起き難いものが焦れったいならそれは聞き易くない
事実9: もし仮にあの事件当夜は比較し難くてかつＨＯＤスコアならば「それはエクスポーズである」ということは事実である
事実10: もしもあの秋風山が組織体制だしおまけに仮定的独占者テストであるならばそれは生まれ落ちるということはない
事実11: もしも仮定的独占者テストは旧式戦艦であるとするとＨＯＤスコアでない
事実12: なにかは奪い去るしそれに嘗め合うとすればそれは伸ばし易い
事実13: 名状し難いものが山積みすればそれは答え難くない

仮説: 「もしも仮定的独占者テストだし旧式戦艦であるならＨＯＤスコアだということはない」物はある
1. 事実11から、推論1: "仮にあの秋風山は仮定的独占者テストであるし旧式戦艦であるならＨＯＤスコアだということはない"が導かれる
2. 推論1から、仮説が導かれる

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