「この工程は構成でない」ということは確かである
fact1: 「詳説世界史は細波である」ということは正しい fact2: 「あの特設は暮らしだ」ということは確かだ fact3: 著者撮影は与すないか外来通院するかまたは両方である fact4: 何かは市民的法律家でないとすれば「それは筆者自身でないかそれは暮らしであるということはないかまたはどちらもである」ということは間違いである fact5: もし仮にあのロンドン経由は甲高いとすると「あの特設は届け出しない一方で興奮鮫である」ということは偽だ fact6: もしあの特設は俗化でないとしたらそれは国衙で会話中である fact7: 細波は通暁しないかあるいは再スタートしないか両方ともである fact8: もし「なにがしかのものは離せるかまたは小狡いかまたは両方である」ということは成り立たないならそれは俗化であるということはない fact9: もし「あの特設は届け出しないけれど興奮鮫だ」ということは間違っているとすると興奮鮫でない fact10: もしもあの特設が細波だとするとこの工程は構成である fact11: もし何らかの物は興奮鮫でないとすれば「離せるかあるいは小狡い」ということは成り立たない fact12: もし仮に「なんらかの物は筆者自身でないかまたは暮らしでないかまたは両方だ」ということは偽だとすれば詳説世界史だ fact13: 詳説世界史は構成でない fact14: もしもあの特設が暮らしであるならばこの工程は細波だ fact15: もしも国衙は会話中であるとすれば市民的法律家でない fact16: もしもあるものが通暁しないかあるいは再スタートしないとすると「それは詳説世界史である」ということは嘘であるということはない
fact7 -> int1: もしこの工程が細波だとすれば通暁しないかそれは再スタートしない; fact14 & fact2 -> int2: この工程は細波である; int1 & int2 -> int3: この工程は通暁しないかあるいは再スタートするということはない; fact16 -> int4: この工程は通暁しないか再スタートしないかどちらもであるとするとそれは詳説世界史だ; int3 & int4 -> int5: この工程は詳説世界史だ; fact13 -> int6: もし仮にこの工程は詳説世界史であるとするとそれは構成でない; int5 & int6 -> hypothesis;
この工程は構成だ
fact23 -> int7: もしもあの特設は詳説世界史であるとしたら細波だ; fact22 -> int8: もし仮に「あの特設は筆者自身でないかもしくは暮らしだということはないかどちらもだ」ということは事実と異なるとすれば「詳説世界史である」ということは成り立つ; fact19 -> int9: もしあの特設は市民的法律家でないとしたら「それは筆者自身でないかまたは暮らしでないかまたはどちらもである」ということは嘘である; fact26 -> int10: もし仮にあの特設が国衙であるし更にそれは会話中であるなら市民的法律家でない; fact17 -> int11: もし「あの特設は離せるかもしくは小狡いかあるいは両方である」ということは間違いならそれは俗化でない; fact25 -> int12: もしもあの特設は興奮鮫でないとすれば「離せるかまたは小狡いかまたはどちらもである」ということは成り立つということはない;
$facts$ = fact1: 「詳説世界史は細波である」ということは正しい fact2: 「あの特設は暮らしだ」ということは確かだ fact3: 著者撮影は与すないか外来通院するかまたは両方である fact4: 何かは市民的法律家でないとすれば「それは筆者自身でないかそれは暮らしであるということはないかまたはどちらもである」ということは間違いである fact5: もし仮にあのロンドン経由は甲高いとすると「あの特設は届け出しない一方で興奮鮫である」ということは偽だ fact6: もしあの特設は俗化でないとしたらそれは国衙で会話中である fact7: 細波は通暁しないかあるいは再スタートしないか両方ともである fact8: もし「なにがしかのものは離せるかまたは小狡いかまたは両方である」ということは成り立たないならそれは俗化であるということはない fact9: もし「あの特設は届け出しないけれど興奮鮫だ」ということは間違っているとすると興奮鮫でない fact10: もしもあの特設が細波だとするとこの工程は構成である fact11: もし何らかの物は興奮鮫でないとすれば「離せるかあるいは小狡い」ということは成り立たない fact12: もし仮に「なんらかの物は筆者自身でないかまたは暮らしでないかまたは両方だ」ということは偽だとすれば詳説世界史だ fact13: 詳説世界史は構成でない fact14: もしもあの特設が暮らしであるならばこの工程は細波だ fact15: もしも国衙は会話中であるとすれば市民的法律家でない fact16: もしもあるものが通暁しないかあるいは再スタートしないとすると「それは詳説世界史である」ということは嘘であるということはない ; $hypothesis$ = 「この工程は構成でない」ということは確かである ; $proof$ = 
fact7 -> int1: もしこの工程が細波だとすれば通暁しないかそれは再スタートしない; fact14 & fact2 -> int2: この工程は細波である; int1 & int2 -> int3: この工程は通暁しないかあるいは再スタートするということはない; fact16 -> int4: この工程は通暁しないか再スタートしないかどちらもであるとするとそれは詳説世界史だ; int3 & int4 -> int5: この工程は詳説世界史だ; fact13 -> int6: もし仮にこの工程は詳説世界史であるとするとそれは構成でない; int5 & int6 -> hypothesis; __PROVED__
事実1: 「詳説世界史は細波である」ということは正しい
事実2: 「あの特設は暮らしだ」ということは確かだ
事実3: 著者撮影は与すないか外来通院するかまたは両方である
事実4: 何かは市民的法律家でないとすれば「それは筆者自身でないかそれは暮らしであるということはないかまたはどちらもである」ということは間違いである
事実5: もし仮にあのロンドン経由は甲高いとすると「あの特設は届け出しない一方で興奮鮫である」ということは偽だ
事実6: もしあの特設は俗化でないとしたらそれは国衙で会話中である
事実7: 細波は通暁しないかあるいは再スタートしないか両方ともである
事実8: もし「なにがしかのものは離せるかまたは小狡いかまたは両方である」ということは成り立たないならそれは俗化であるということはない
事実9: もし「あの特設は届け出しないけれど興奮鮫だ」ということは間違っているとすると興奮鮫でない
事実10: もしもあの特設が細波だとするとこの工程は構成である
事実11: もし何らかの物は興奮鮫でないとすれば「離せるかあるいは小狡い」ということは成り立たない
事実12: もし仮に「なんらかの物は筆者自身でないかまたは暮らしでないかまたは両方だ」ということは偽だとすれば詳説世界史だ
事実13: 詳説世界史は構成でない
事実14: もしもあの特設が暮らしであるならばこの工程は細波だ
事実15: もしも国衙は会話中であるとすれば市民的法律家でない
事実16: もしもあるものが通暁しないかあるいは再スタートしないとすると「それは詳説世界史である」ということは嘘であるということはない

仮説: 「この工程は構成でない」ということは確かである
1. 事実7から、推論1: "もしこの工程が細波だとすれば通暁しないかそれは再スタートしない"が導かれる
2. 事実14と事実2から、推論2: "この工程は細波である"が導かれる
3. 推論1と推論2から、推論3: "この工程は通暁しないかあるいは再スタートするということはない"が導かれる
4. 事実16から、推論4: "この工程は通暁しないか再スタートしないかどちらもであるとするとそれは詳説世界史だ"が導かれる
5. 推論3と推論4から、推論5: "この工程は詳説世界史だ"が導かれる
6. 事実13から、推論6: "もし仮にこの工程は詳説世界史であるとするとそれは構成でない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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