「花山葵だとすると戦略的就業規則でない」物はある
fact1: もし仮にあの格納先は花山葵であるとすればそれは支障無くない fact2: 仮にその安値世界一は灰色っぽいししかも弱しならそれは許し難い fact3: その安値世界一は灰色っぽくて花山葵であるならば戦略的就業規則だ fact4: このＣＰＩ値は戦略的就業規則である fact5: もしも灰色っぽい物は花山葵であるならばそれは戦略的就業規則だ fact6: その安値世界一は灰色っぽい fact7: 「その安値世界一は守衛所である」ということは確かだ fact8: 「助け手だとすれば面白くない」ものはある fact9: 仮に灰色っぽい物が花山葵ならそれは戦略的就業規則でない fact10: その安値世界一は御安い fact11: あのシンガポール競馬は花山葵でまた鉱工業生産指数であるなら生き難い fact12: もし仮にその安値世界一は花山葵であるなら戦略的就業規則だ fact13: 「仮に花山葵ならば「戦略的就業規則である」ということは正しい」物はある fact14: その安値世界一は油っぽくてかつ凄い
void -> assump1: 以下のように仮定する。その安値世界一は花山葵だ; fact6 & assump1 -> int1: その安値世界一は灰色っぽいし花山葵である; fact9 -> int2: 仮にその安値世界一は灰色っぽいしさらに花山葵なら「それは戦略的就業規則でない」ということは事実である; int1 & int2 -> int3: その安値世界一は戦略的就業規則でない; [assump1] & int3 -> int4: 仮にその安値世界一が花山葵ならそれは戦略的就業規則でない; int4 -> hypothesis;
$facts$ = fact1: もし仮にあの格納先は花山葵であるとすればそれは支障無くない fact2: 仮にその安値世界一は灰色っぽいししかも弱しならそれは許し難い fact3: その安値世界一は灰色っぽくて花山葵であるならば戦略的就業規則だ fact4: このＣＰＩ値は戦略的就業規則である fact5: もしも灰色っぽい物は花山葵であるならばそれは戦略的就業規則だ fact6: その安値世界一は灰色っぽい fact7: 「その安値世界一は守衛所である」ということは確かだ fact8: 「助け手だとすれば面白くない」ものはある fact9: 仮に灰色っぽい物が花山葵ならそれは戦略的就業規則でない fact10: その安値世界一は御安い fact11: あのシンガポール競馬は花山葵でまた鉱工業生産指数であるなら生き難い fact12: もし仮にその安値世界一は花山葵であるなら戦略的就業規則だ fact13: 「仮に花山葵ならば「戦略的就業規則である」ということは正しい」物はある fact14: その安値世界一は油っぽくてかつ凄い ; $hypothesis$ = 「花山葵だとすると戦略的就業規則でない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。その安値世界一は花山葵だ; fact6 & assump1 -> int1: その安値世界一は灰色っぽいし花山葵である; fact9 -> int2: 仮にその安値世界一は灰色っぽいしさらに花山葵なら「それは戦略的就業規則でない」ということは事実である; int1 & int2 -> int3: その安値世界一は戦略的就業規則でない; [assump1] & int3 -> int4: 仮にその安値世界一が花山葵ならそれは戦略的就業規則でない; int4 -> hypothesis; __PROVED__
事実1: もし仮にあの格納先は花山葵であるとすればそれは支障無くない
事実2: 仮にその安値世界一は灰色っぽいししかも弱しならそれは許し難い
事実3: その安値世界一は灰色っぽくて花山葵であるならば戦略的就業規則だ
事実4: このＣＰＩ値は戦略的就業規則である
事実5: もしも灰色っぽい物は花山葵であるならばそれは戦略的就業規則だ
事実6: その安値世界一は灰色っぽい
事実7: 「その安値世界一は守衛所である」ということは確かだ
事実8: 「助け手だとすれば面白くない」ものはある
事実9: 仮に灰色っぽい物が花山葵ならそれは戦略的就業規則でない
事実10: その安値世界一は御安い
事実11: あのシンガポール競馬は花山葵でまた鉱工業生産指数であるなら生き難い
事実12: もし仮にその安値世界一は花山葵であるなら戦略的就業規則だ
事実13: 「仮に花山葵ならば「戦略的就業規則である」ということは正しい」物はある
事実14: その安値世界一は油っぽくてかつ凄い

仮説: 「花山葵だとすると戦略的就業規則でない」物はある
1. 仮定1: 以下のように仮定する。その安値世界一は花山葵だ
2. 事実6と仮定1から、推論1: "その安値世界一は灰色っぽいし花山葵である"が導かれる
3. 事実9から、推論2: "仮にその安値世界一は灰色っぽいしさらに花山葵なら「それは戦略的就業規則でない」ということは事実である"が導かれる
4. 推論1と推論2から、推論3: "その安値世界一は戦略的就業規則でない"が導かれる
5. [仮定1]と推論3から、推論4: "仮にその安値世界一が花山葵ならそれは戦略的就業規則でない"が導かれる
6. 推論4から、仮説が導かれる

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