このデフォルト等は秋蒔きだということはない
fact1: もし仮にあるものが染色体異常症でないとすれば肩入れしないかまたは呼び物であるかもしくは両方ともである fact2: もしもそのポインタ演算が肩入れしないか呼び物ならその人事院規則は肩入れする fact3: 全ての物は押さえ難くない fact4: 仮にこの若彦路が涙脆いとしたらあの布基礎は涙脆い fact5: この若彦路は涙脆い fact6: 涙脆いものは交渉す fact7: その人事院規則が肩入れするとしたらこのデフォルト等は秋蒔きである fact8: もしも何かは着手しないがしかし交渉すとすればせせこましくない fact9: あの布基礎は着手するということはない fact10: 「せせこましくない」ものがあるならこの眺めは海物語だということはない fact11: このデフォルト等は宣戦しない fact12: あらゆるものは秋蒔きであるということはない
fact12 -> hypothesis;
fact12 -> hypothesis;
このデフォルト等は秋蒔きである
fact17 -> int1: そのポインタ演算が染色体異常症でないなら肩入れしないかまたは呼び物であるか両方だ; fact16 -> int2: あの布基礎は着手しないけど交渉すならそれはせせこましいということはない; fact13 -> int3: もしあの布基礎は涙脆いなら「交渉す」ということは成り立つ; fact18 & fact20 -> int4: あの布基礎は涙脆い; int3 & int4 -> int5: あの布基礎は交渉す; fact21 & int5 -> int6: あの布基礎は着手しないけど交渉す; int2 & int6 -> int7: 「あの布基礎はせせこましくない」ということは成り立つ; int7 -> int8: せせこましいということはないものはある; int8 & fact14 -> int9: この眺めは海物語でない; int9 -> int10: 「海物語でない」ものはある;
$facts$ = fact1: もし仮にあるものが染色体異常症でないとすれば肩入れしないかまたは呼び物であるかもしくは両方ともである fact2: もしもそのポインタ演算が肩入れしないか呼び物ならその人事院規則は肩入れする fact3: 全ての物は押さえ難くない fact4: 仮にこの若彦路が涙脆いとしたらあの布基礎は涙脆い fact5: この若彦路は涙脆い fact6: 涙脆いものは交渉す fact7: その人事院規則が肩入れするとしたらこのデフォルト等は秋蒔きである fact8: もしも何かは着手しないがしかし交渉すとすればせせこましくない fact9: あの布基礎は着手するということはない fact10: 「せせこましくない」ものがあるならこの眺めは海物語だということはない fact11: このデフォルト等は宣戦しない fact12: あらゆるものは秋蒔きであるということはない ; $hypothesis$ = このデフォルト等は秋蒔きだということはない ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: もし仮にあるものが染色体異常症でないとすれば肩入れしないかまたは呼び物であるかもしくは両方ともである
事実2: もしもそのポインタ演算が肩入れしないか呼び物ならその人事院規則は肩入れする
事実3: 全ての物は押さえ難くない
事実4: 仮にこの若彦路が涙脆いとしたらあの布基礎は涙脆い
事実5: この若彦路は涙脆い
事実6: 涙脆いものは交渉す
事実7: その人事院規則が肩入れするとしたらこのデフォルト等は秋蒔きである
事実8: もしも何かは着手しないがしかし交渉すとすればせせこましくない
事実9: あの布基礎は着手するということはない
事実10: 「せせこましくない」ものがあるならこの眺めは海物語だということはない
事実11: このデフォルト等は宣戦しない
事実12: あらゆるものは秋蒔きであるということはない

仮説: このデフォルト等は秋蒔きだということはない
1. 事実12から、仮説が導かれる

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