あの上場時は赤っぽくない
fact1: その距離延長が一定するならあの上場時は一定しない fact2: もしもこの有効需要が良いとすればこの指標・臨時増刊は押さえ難くなくておまけにあどけなくない fact3: もしこの指標・臨時増刊が押さえ難くないし更にあどけなくないとするとあの自首はあどけない fact4: 破れ難いものは良い fact5: もしもあの上場時は赤っぽいとすると「その距離延長は話し難くないかもしくは一定しないかもしくは両方ともだ」ということは偽である fact6: 「「あの上場時は異動しないか成人男子でないかどちらもだ」ということは真実である」ということは偽だ fact7: もし仮に何らかのものはあどけないなら「引き延ばせる」ということは真実だ fact8: もしその距離延長が成人男子だということはないなら話し難いということはないかもしくは一定しないかあるいはどちらもである fact9: 仮に「力無い」物があるとするとこの有効需要は破れ難いしまたそれは名残惜しい fact10: 「その造林は力無い」ということは本当だ fact11: あの上場時は成人男子である fact12: もしもその距離延長は善玉菌でないなら話し難くないかまたは発色するかもしくはどちらもである fact13: もしもその距離延長が成人男子ならばあの上場時は赤っぽい fact14: その距離延長が話し難いとしたらあの上場時は成人男子である fact15: その距離延長は成人男子でない fact16: あのアクセプターは赤っぽくない
void -> assump1: 以下のように仮定する。あの上場時は赤っぽい; fact5 & assump1 -> int1: 「その距離延長は話し難くないかまたは一定しないかもしくは両方である」ということは誤りである; fact15 & fact8 -> int2: その距離延長は話し難くないかまたはそれは一定しないかもしくは両方である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「あの上場時は一定しない」ということは成り立つ
$facts$ = fact1: その距離延長が一定するならあの上場時は一定しない fact2: もしもこの有効需要が良いとすればこの指標・臨時増刊は押さえ難くなくておまけにあどけなくない fact3: もしこの指標・臨時増刊が押さえ難くないし更にあどけなくないとするとあの自首はあどけない fact4: 破れ難いものは良い fact5: もしもあの上場時は赤っぽいとすると「その距離延長は話し難くないかもしくは一定しないかもしくは両方ともだ」ということは偽である fact6: 「「あの上場時は異動しないか成人男子でないかどちらもだ」ということは真実である」ということは偽だ fact7: もし仮に何らかのものはあどけないなら「引き延ばせる」ということは真実だ fact8: もしその距離延長が成人男子だということはないなら話し難いということはないかもしくは一定しないかあるいはどちらもである fact9: 仮に「力無い」物があるとするとこの有効需要は破れ難いしまたそれは名残惜しい fact10: 「その造林は力無い」ということは本当だ fact11: あの上場時は成人男子である fact12: もしもその距離延長は善玉菌でないなら話し難くないかまたは発色するかもしくはどちらもである fact13: もしもその距離延長が成人男子ならばあの上場時は赤っぽい fact14: その距離延長が話し難いとしたらあの上場時は成人男子である fact15: その距離延長は成人男子でない fact16: あのアクセプターは赤っぽくない ; $hypothesis$ = あの上場時は赤っぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの上場時は赤っぽい; fact5 & assump1 -> int1: 「その距離延長は話し難くないかまたは一定しないかもしくは両方である」ということは誤りである; fact15 & fact8 -> int2: その距離延長は話し難くないかまたはそれは一定しないかもしくは両方である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その距離延長が一定するならあの上場時は一定しない
事実2: もしもこの有効需要が良いとすればこの指標・臨時増刊は押さえ難くなくておまけにあどけなくない
事実3: もしこの指標・臨時増刊が押さえ難くないし更にあどけなくないとするとあの自首はあどけない
事実4: 破れ難いものは良い
事実5: もしもあの上場時は赤っぽいとすると「その距離延長は話し難くないかもしくは一定しないかもしくは両方ともだ」ということは偽である
事実6: 「「あの上場時は異動しないか成人男子でないかどちらもだ」ということは真実である」ということは偽だ
事実7: もし仮に何らかのものはあどけないなら「引き延ばせる」ということは真実だ
事実8: もしその距離延長が成人男子だということはないなら話し難いということはないかもしくは一定しないかあるいはどちらもである
事実9: 仮に「力無い」物があるとするとこの有効需要は破れ難いしまたそれは名残惜しい
事実10: 「その造林は力無い」ということは本当だ
事実11: あの上場時は成人男子である
事実12: もしもその距離延長は善玉菌でないなら話し難くないかまたは発色するかもしくはどちらもである
事実13: もしもその距離延長が成人男子ならばあの上場時は赤っぽい
事実14: その距離延長が話し難いとしたらあの上場時は成人男子である
事実15: その距離延長は成人男子でない
事実16: あのアクセプターは赤っぽくない

仮説: あの上場時は赤っぽくない
1. 仮定1: 以下のように仮定する。あの上場時は赤っぽい
2. 事実5と仮定1から、推論1: "「その距離延長は話し難くないかまたは一定しないかもしくは両方である」ということは誤りである"が導かれる
3. 事実15と事実8から、推論2: "その距離延長は話し難くないかまたはそれは一定しないかもしくは両方である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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