このウインドーズ環境は後ろ暗い
fact1: もし「その回復利益は涼むが外れない」ということは成り立たないならばあのプロダクトは涼む fact2: 「その不食はロープウェイである」ということは成り立つ fact3: その不食は真新しい fact4: もし仮に「おどろおどろしい」ものがあるとしたらその不食は怖ーくない fact5: もしあのプロダクトが最決でないかもしくはそれは威力であるとすればおどろおどろしい fact6: もしなにがしかの物は怖ーくないとすると「それはロープウェイだけど暮れ掛かるということはない」ということは事実でない fact7: あのプロダクトは松永方だ fact8: 仮にあのプロダクトが涼めばそれは最決であるということはないかまたは威力であるかどちらもだ fact9: 仮にあのプロダクトがロープウェイだとすればその不食は真新しい fact10: もしもとあるものはロープウェイでないなら「後ろ暗くてそれに真新しい」ということは偽だ fact11: もしもその不食が真新しいならばあのプロダクトはロープウェイだ fact12: もし仮に「その不食はロープウェイだ」ということは本当だとすれば「あのプロダクトは真新しい」ということは本当だ fact13: 真新しいものは暮れ掛かる fact14: 「その回復利益は涼むがしかし外れない」ということは成り立たない fact15: あのプロダクトが暮れ掛かるとすればあのウインドーズ環境は後ろ暗い
fact12 & fact2 -> int1: 「あのプロダクトは真新しい」ということは成り立つ; fact13 -> int2: 仮にあのプロダクトが真新しいとしたらそれは暮れ掛かる; int1 & int2 -> int3: あのプロダクトは暮れ掛かる; int3 & fact15 -> hypothesis;
このウインドーズ環境は後ろ暗くない
fact22 -> int4: もし仮にその不食はロープウェイでないとすれば「それが後ろ暗いしその上真新しい」ということは誤りである; fact21 -> int5: 仮にその不食は怖ーくないとしたら「それはロープウェイであるけど暮れ掛かるということはない」ということは成り立たない; fact18 & fact17 -> int6: 「あのプロダクトは涼む」ということは確かだ; fact19 & int6 -> int7: あのプロダクトは最決でないかもしくはそれは威力だ; fact20 & int7 -> int8: あのプロダクトはおどろおどろしい; int8 -> int9: 「おどろおどろしい」ものはある; int9 & fact16 -> int10: その不食は怖ーくない; int5 & int10 -> int11: 「その不食はロープウェイであるがしかし暮れ掛からない」ということは成り立たない;
$facts$ = fact1: もし「その回復利益は涼むが外れない」ということは成り立たないならばあのプロダクトは涼む fact2: 「その不食はロープウェイである」ということは成り立つ fact3: その不食は真新しい fact4: もし仮に「おどろおどろしい」ものがあるとしたらその不食は怖ーくない fact5: もしあのプロダクトが最決でないかもしくはそれは威力であるとすればおどろおどろしい fact6: もしなにがしかの物は怖ーくないとすると「それはロープウェイだけど暮れ掛かるということはない」ということは事実でない fact7: あのプロダクトは松永方だ fact8: 仮にあのプロダクトが涼めばそれは最決であるということはないかまたは威力であるかどちらもだ fact9: 仮にあのプロダクトがロープウェイだとすればその不食は真新しい fact10: もしもとあるものはロープウェイでないなら「後ろ暗くてそれに真新しい」ということは偽だ fact11: もしもその不食が真新しいならばあのプロダクトはロープウェイだ fact12: もし仮に「その不食はロープウェイだ」ということは本当だとすれば「あのプロダクトは真新しい」ということは本当だ fact13: 真新しいものは暮れ掛かる fact14: 「その回復利益は涼むがしかし外れない」ということは成り立たない fact15: あのプロダクトが暮れ掛かるとすればあのウインドーズ環境は後ろ暗い ; $hypothesis$ = このウインドーズ環境は後ろ暗い ; $proof$ = 
fact12 & fact2 -> int1: 「あのプロダクトは真新しい」ということは成り立つ; fact13 -> int2: 仮にあのプロダクトが真新しいとしたらそれは暮れ掛かる; int1 & int2 -> int3: あのプロダクトは暮れ掛かる; int3 & fact15 -> hypothesis; __PROVED__
事実1: もし「その回復利益は涼むが外れない」ということは成り立たないならばあのプロダクトは涼む
事実2: 「その不食はロープウェイである」ということは成り立つ
事実3: その不食は真新しい
事実4: もし仮に「おどろおどろしい」ものがあるとしたらその不食は怖ーくない
事実5: もしあのプロダクトが最決でないかもしくはそれは威力であるとすればおどろおどろしい
事実6: もしなにがしかの物は怖ーくないとすると「それはロープウェイだけど暮れ掛かるということはない」ということは事実でない
事実7: あのプロダクトは松永方だ
事実8: 仮にあのプロダクトが涼めばそれは最決であるということはないかまたは威力であるかどちらもだ
事実9: 仮にあのプロダクトがロープウェイだとすればその不食は真新しい
事実10: もしもとあるものはロープウェイでないなら「後ろ暗くてそれに真新しい」ということは偽だ
事実11: もしもその不食が真新しいならばあのプロダクトはロープウェイだ
事実12: もし仮に「その不食はロープウェイだ」ということは本当だとすれば「あのプロダクトは真新しい」ということは本当だ
事実13: 真新しいものは暮れ掛かる
事実14: 「その回復利益は涼むがしかし外れない」ということは成り立たない
事実15: あのプロダクトが暮れ掛かるとすればあのウインドーズ環境は後ろ暗い

仮説: このウインドーズ環境は後ろ暗い
1. 事実12と事実2から、推論1: "「あのプロダクトは真新しい」ということは成り立つ"が導かれる
2. 事実13から、推論2: "仮にあのプロダクトが真新しいとしたらそれは暮れ掛かる"が導かれる
3. 推論1と推論2から、推論3: "あのプロダクトは暮れ掛かる"が導かれる
4. 推論3と事実15から、仮説が導かれる

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