「「この将来構想ははしたないし再発行する」ということは事実だということはない」ということは真実である
fact1: 「「進化するし断続しない」ということは間違っている」物はある fact2: もし仮にこの刃先が組織変更するとしたらそれはミュートするということはない fact3: もしも「食物アレルゲンである」ものがあるとしたらこの生活保護受給者は臍下だということはない fact4: もし仮にとあるものがミュートしないならばそれは優勝するし更に辛い fact5: 話し易くないものは蕨宿だしさらに行儀良い fact6: 蕨宿は再発行する fact7: もしもこの小萩が組織変更しないけれど高まるとしたらこの刃先は組織変更する fact8: 「進化しなくて更に断続するということはない」ものはある fact9: あの拒約運動が名付かないしそれが話し易くないならこの将来構想は話し易いということはない fact10: もしなんらかの物が辛いとすれば食物アレルゲンだ fact11: もしもこの生活保護受給者は臍下でないとすれば「あの約款付きは上げ続けないかあるいははしたない」ということは間違っている fact12: もし仮に「「進化しなくてそれに断続しない」ということは成り立たない」ものはあるなら「あの約款付きは再発行しない」ということは誤りでない fact13: 「「進化しなくてその上断続する」ということは成り立たない」ものはある fact14: この小萩は組織変更しないけど高まる fact15: 「「進化しなくておまけに断続するということはない」ということは間違いな」ものはある fact16: 「あの約款付きは上げ続けないかもしくははしたないかあるいは両方である」ということは間違っているとするとこの将来構想ははしたない fact17: もし「進化する」ものはあるとすると「あの約款付きは再発行しない」ということは成り立つ fact18: 「仮に「「モデルハウスでなくて断続しない」ということは誤りである」ものがあるとするとこの被差し押さえ債権は選択され易くない」ということは成り立つ fact19: 仮にあの約款付きは再発行しないとすれば「この将来構想ははしたないしそれにそれは再発行する」ということは確かでない
fact15 & fact12 -> int1: あの約款付きは再発行しない; int1 & fact19 -> hypothesis;
この将来構想ははしたなくて再発行する
fact21 -> int2: 仮にこの刃先が辛いとしたらそれは食物アレルゲンである; fact27 -> int3: もし仮にこの刃先がミュートしないとすればそれは優勝するし辛い; fact24 & fact29 -> int4: 「この刃先は組織変更する」ということは成り立つ; fact28 & int4 -> int5: この刃先はミュートするということはない; int3 & int5 -> int6: この刃先は優勝するしそれに辛い; int6 -> int7: この刃先は辛い; int2 & int7 -> int8: 「この刃先は食物アレルゲンだ」ということは成り立つ; int8 -> int9: 「食物アレルゲンである」物はある; int9 & fact26 -> int10: この生活保護受給者は臍下でない; fact20 & int10 -> int11: 「あの約款付きは上げ続けないかそれははしたないかもしくは両方だ」ということは成り立たない; fact25 & int11 -> int12: この将来構想ははしたない; fact22 -> int13: もし仮にこの将来構想が蕨宿ならばそれは再発行する; fact23 -> int14: もしこの将来構想が話し易いということはないならばそれは蕨宿だし加えて行儀良い;
$facts$ = fact1: 「「進化するし断続しない」ということは間違っている」物はある fact2: もし仮にこの刃先が組織変更するとしたらそれはミュートするということはない fact3: もしも「食物アレルゲンである」ものがあるとしたらこの生活保護受給者は臍下だということはない fact4: もし仮にとあるものがミュートしないならばそれは優勝するし更に辛い fact5: 話し易くないものは蕨宿だしさらに行儀良い fact6: 蕨宿は再発行する fact7: もしもこの小萩が組織変更しないけれど高まるとしたらこの刃先は組織変更する fact8: 「進化しなくて更に断続するということはない」ものはある fact9: あの拒約運動が名付かないしそれが話し易くないならこの将来構想は話し易いということはない fact10: もしなんらかの物が辛いとすれば食物アレルゲンだ fact11: もしもこの生活保護受給者は臍下でないとすれば「あの約款付きは上げ続けないかあるいははしたない」ということは間違っている fact12: もし仮に「「進化しなくてそれに断続しない」ということは成り立たない」ものはあるなら「あの約款付きは再発行しない」ということは誤りでない fact13: 「「進化しなくてその上断続する」ということは成り立たない」ものはある fact14: この小萩は組織変更しないけど高まる fact15: 「「進化しなくておまけに断続するということはない」ということは間違いな」ものはある fact16: 「あの約款付きは上げ続けないかもしくははしたないかあるいは両方である」ということは間違っているとするとこの将来構想ははしたない fact17: もし「進化する」ものはあるとすると「あの約款付きは再発行しない」ということは成り立つ fact18: 「仮に「「モデルハウスでなくて断続しない」ということは誤りである」ものがあるとするとこの被差し押さえ債権は選択され易くない」ということは成り立つ fact19: 仮にあの約款付きは再発行しないとすれば「この将来構想ははしたないしそれにそれは再発行する」ということは確かでない ; $hypothesis$ = 「「この将来構想ははしたないし再発行する」ということは事実だということはない」ということは真実である ; $proof$ = 
fact15 & fact12 -> int1: あの約款付きは再発行しない; int1 & fact19 -> hypothesis; __PROVED__
事実1: 「「進化するし断続しない」ということは間違っている」物はある
事実2: もし仮にこの刃先が組織変更するとしたらそれはミュートするということはない
事実3: もしも「食物アレルゲンである」ものがあるとしたらこの生活保護受給者は臍下だということはない
事実4: もし仮にとあるものがミュートしないならばそれは優勝するし更に辛い
事実5: 話し易くないものは蕨宿だしさらに行儀良い
事実6: 蕨宿は再発行する
事実7: もしもこの小萩が組織変更しないけれど高まるとしたらこの刃先は組織変更する
事実8: 「進化しなくて更に断続するということはない」ものはある
事実9: あの拒約運動が名付かないしそれが話し易くないならこの将来構想は話し易いということはない
事実10: もしなんらかの物が辛いとすれば食物アレルゲンだ
事実11: もしもこの生活保護受給者は臍下でないとすれば「あの約款付きは上げ続けないかあるいははしたない」ということは間違っている
事実12: もし仮に「「進化しなくてそれに断続しない」ということは成り立たない」ものはあるなら「あの約款付きは再発行しない」ということは誤りでない
事実13: 「「進化しなくてその上断続する」ということは成り立たない」ものはある
事実14: この小萩は組織変更しないけど高まる
事実15: 「「進化しなくておまけに断続するということはない」ということは間違いな」ものはある
事実16: 「あの約款付きは上げ続けないかもしくははしたないかあるいは両方である」ということは間違っているとするとこの将来構想ははしたない
事実17: もし「進化する」ものはあるとすると「あの約款付きは再発行しない」ということは成り立つ
事実18: 「仮に「「モデルハウスでなくて断続しない」ということは誤りである」ものがあるとするとこの被差し押さえ債権は選択され易くない」ということは成り立つ
事実19: 仮にあの約款付きは再発行しないとすれば「この将来構想ははしたないしそれにそれは再発行する」ということは確かでない

仮説: 「「この将来構想ははしたないし再発行する」ということは事実だということはない」ということは真実である
1. 事実15と事実12から、推論1: "あの約款付きは再発行しない"が導かれる
2. 推論1と事実19から、仮説が導かれる

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