この償還有価証券は伝言しない一方でそれは蓄積され易い
fact1: もし仮にあの蓼科興業が違くないならけたたましくないかあるいは読み難くないかもしくは両方ともだ fact2: もしもそのＨＣＶキャリアが整理し直せばこの償還有価証券は倹しいか掛け替えないかもしくはどちらもだ fact3: もし仮にあの蓼科興業が読み難くないならばこの償還有価証券は読み難い fact4: もし何かはＮＵだとすれば「それは伝言しないし蓄積され易い」ということは間違いである fact5: 「そのＨＣＶキャリアはすこくないけど日清戦争後だ」ということは本当である fact6: 仮にそのＨＣＶキャリアがＮＵならばあの償還有価証券は蓄積され易い fact7: この表白は伝言する fact8: もしあの蓼科興業がけたたましくないとすればこの償還有価証券は読み難い fact9: 仮に読み難いものが倹しいとすれば紳士らしくない fact10: もし仮に何らかのものが紳士らしくないならばＮＵでしかもナンセンス文学だ fact11: あの蓼科興業は違くない fact12: そのＨＣＶキャリアがＮＵであるならばこの償還有価証券は伝言するということはないが蓄積され易い fact13: この償還有価証券は蓄積され易い fact14: そのＨＣＶキャリアはＮＵである fact15: 「あの中世史は狩り出さないし統一出来ない」ということは成り立たない fact16: もしなんらかのものは倹しいかもしくは掛け替えないかもしくは両方ならば「倹しい」ということは誤っていない fact17: この日本最大級は蓄積され易い
fact12 & fact14 -> hypothesis;
「この償還有価証券は伝言しないが蓄積され易い」ということは間違いだ
fact23 -> int1: もし仮にこの償還有価証券はＮＵなら「伝言するということはなくて更にそれは蓄積され易い」ということは偽である; fact18 -> int2: 「もしこの償還有価証券が紳士らしくないとするとこの償還有価証券はＮＵであるし加えてナンセンス文学である」ということは成り立つ; fact22 -> int3: もし仮にこの償還有価証券は読み難くてまた倹しいとしたらそれは紳士らしくない; fact24 & fact20 -> int4: あの蓼科興業はけたたましいということはないか読み難くないかまたは両方である; int4 & fact21 & fact19 -> int5: この償還有価証券は読み難い; fact26 -> int6: もしこの償還有価証券が倹しいかもしくは掛け替えないかあるいは両方ならそれは倹しい; fact25 -> int7: 「「「狩り出すということはなくてしかも統一出来ない」ということは成り立たない」ものはある」ということは正しい;
$facts$ = fact1: もし仮にあの蓼科興業が違くないならけたたましくないかあるいは読み難くないかもしくは両方ともだ fact2: もしもそのＨＣＶキャリアが整理し直せばこの償還有価証券は倹しいか掛け替えないかもしくはどちらもだ fact3: もし仮にあの蓼科興業が読み難くないならばこの償還有価証券は読み難い fact4: もし何かはＮＵだとすれば「それは伝言しないし蓄積され易い」ということは間違いである fact5: 「そのＨＣＶキャリアはすこくないけど日清戦争後だ」ということは本当である fact6: 仮にそのＨＣＶキャリアがＮＵならばあの償還有価証券は蓄積され易い fact7: この表白は伝言する fact8: もしあの蓼科興業がけたたましくないとすればこの償還有価証券は読み難い fact9: 仮に読み難いものが倹しいとすれば紳士らしくない fact10: もし仮に何らかのものが紳士らしくないならばＮＵでしかもナンセンス文学だ fact11: あの蓼科興業は違くない fact12: そのＨＣＶキャリアがＮＵであるならばこの償還有価証券は伝言するということはないが蓄積され易い fact13: この償還有価証券は蓄積され易い fact14: そのＨＣＶキャリアはＮＵである fact15: 「あの中世史は狩り出さないし統一出来ない」ということは成り立たない fact16: もしなんらかのものは倹しいかもしくは掛け替えないかもしくは両方ならば「倹しい」ということは誤っていない fact17: この日本最大級は蓄積され易い ; $hypothesis$ = この償還有価証券は伝言しない一方でそれは蓄積され易い ; $proof$ = 
fact12 & fact14 -> hypothesis; __PROVED__
事実1: もし仮にあの蓼科興業が違くないならけたたましくないかあるいは読み難くないかもしくは両方ともだ
事実2: もしもそのＨＣＶキャリアが整理し直せばこの償還有価証券は倹しいか掛け替えないかもしくはどちらもだ
事実3: もし仮にあの蓼科興業が読み難くないならばこの償還有価証券は読み難い
事実4: もし何かはＮＵだとすれば「それは伝言しないし蓄積され易い」ということは間違いである
事実5: 「そのＨＣＶキャリアはすこくないけど日清戦争後だ」ということは本当である
事実6: 仮にそのＨＣＶキャリアがＮＵならばあの償還有価証券は蓄積され易い
事実7: この表白は伝言する
事実8: もしあの蓼科興業がけたたましくないとすればこの償還有価証券は読み難い
事実9: 仮に読み難いものが倹しいとすれば紳士らしくない
事実10: もし仮に何らかのものが紳士らしくないならばＮＵでしかもナンセンス文学だ
事実11: あの蓼科興業は違くない
事実12: そのＨＣＶキャリアがＮＵであるならばこの償還有価証券は伝言するということはないが蓄積され易い
事実13: この償還有価証券は蓄積され易い
事実14: そのＨＣＶキャリアはＮＵである
事実15: 「あの中世史は狩り出さないし統一出来ない」ということは成り立たない
事実16: もしなんらかのものは倹しいかもしくは掛け替えないかもしくは両方ならば「倹しい」ということは誤っていない
事実17: この日本最大級は蓄積され易い

仮説: この償還有価証券は伝言しない一方でそれは蓄積され易い
1. 事実12と事実14から、仮説が導かれる

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