「もし暗しないなら「受け入れ易くないし損壊しない」ということは成り立たない」物はある
fact1: この時間数が暗しないとすると受け入れ易いということはないし損壊しない fact2: 「暗しなら「受け入れ易いということはなくて損壊しない」ということは偽である」ものはある fact3: もしもこの時間数は暗しないなら「それは受け入れ易いということはないしその上損壊するない」ということは成り立つということはない fact4: 「もし仮に暗しないとすれば「受け入れ易くない一方で損壊する」ということは真実でない」物はある fact5: 「位すないとしたら「団栗眼であるということはなくてクラリセージでない」ということは成り立たない」物はある fact6: もしもこの時間数は暗しないならば「受け入れ易いしそれは損壊しない」ということは真実でない fact7: 「「もし仮に暗しないならば「受け入れ易いがしかし損壊しない」ということは間違っている」物はある」ということは事実だ fact8: もしこの時間数は暗しないならば「受け入れ易くない一方で損壊する」ということは誤っている fact9: なんらかのものは影響され易くないとしたら「それが引き締めるということはないしその上損壊するということはない」ということは成り立つということはない fact10: もし仮にこの時間数は暗しとしたら「受け入れ易くないしそれは損壊しない」ということは正しいということはない fact11: 仮にこの時間数は受け入れ易くないとすれば「締めっぽくないしそれに株価収益率であるということはない」ということは真実でない fact12: 「もし暗しないなら受け入れ易くないし損壊するということはない」ものはある
fact3 -> hypothesis;
もしも「この曇天は影響され易くない」ということは成り立つなら「引き締めないししかも損壊しない」ということは偽だ
fact13 -> hypothesis;
$facts$ = fact1: この時間数が暗しないとすると受け入れ易いということはないし損壊しない fact2: 「暗しなら「受け入れ易いということはなくて損壊しない」ということは偽である」ものはある fact3: もしもこの時間数は暗しないなら「それは受け入れ易いということはないしその上損壊するない」ということは成り立つということはない fact4: 「もし仮に暗しないとすれば「受け入れ易くない一方で損壊する」ということは真実でない」物はある fact5: 「位すないとしたら「団栗眼であるということはなくてクラリセージでない」ということは成り立たない」物はある fact6: もしもこの時間数は暗しないならば「受け入れ易いしそれは損壊しない」ということは真実でない fact7: 「「もし仮に暗しないならば「受け入れ易いがしかし損壊しない」ということは間違っている」物はある」ということは事実だ fact8: もしこの時間数は暗しないならば「受け入れ易くない一方で損壊する」ということは誤っている fact9: なんらかのものは影響され易くないとしたら「それが引き締めるということはないしその上損壊するということはない」ということは成り立つということはない fact10: もし仮にこの時間数は暗しとしたら「受け入れ易くないしそれは損壊しない」ということは正しいということはない fact11: 仮にこの時間数は受け入れ易くないとすれば「締めっぽくないしそれに株価収益率であるということはない」ということは真実でない fact12: 「もし暗しないなら受け入れ易くないし損壊するということはない」ものはある ; $hypothesis$ = 「もし暗しないなら「受け入れ易くないし損壊しない」ということは成り立たない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: この時間数が暗しないとすると受け入れ易いということはないし損壊しない
事実2: 「暗しなら「受け入れ易いということはなくて損壊しない」ということは偽である」ものはある
事実3: もしもこの時間数は暗しないなら「それは受け入れ易いということはないしその上損壊するない」ということは成り立つということはない
事実4: 「もし仮に暗しないとすれば「受け入れ易くない一方で損壊する」ということは真実でない」物はある
事実5: 「位すないとしたら「団栗眼であるということはなくてクラリセージでない」ということは成り立たない」物はある
事実6: もしもこの時間数は暗しないならば「受け入れ易いしそれは損壊しない」ということは真実でない
事実7: 「「もし仮に暗しないならば「受け入れ易いがしかし損壊しない」ということは間違っている」物はある」ということは事実だ
事実8: もしこの時間数は暗しないならば「受け入れ易くない一方で損壊する」ということは誤っている
事実9: なんらかのものは影響され易くないとしたら「それが引き締めるということはないしその上損壊するということはない」ということは成り立つということはない
事実10: もし仮にこの時間数は暗しとしたら「受け入れ易くないしそれは損壊しない」ということは正しいということはない
事実11: 仮にこの時間数は受け入れ易くないとすれば「締めっぽくないしそれに株価収益率であるということはない」ということは真実でない
事実12: 「もし暗しないなら受け入れ易くないし損壊するということはない」ものはある

仮説: 「もし暗しないなら「受け入れ易くないし損壊しない」ということは成り立たない」物はある
1. 事実3から、仮説が導かれる

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