「もし関係深くないとすれば「過ごせないしさらに自動化しない」ということは誤りな」ものはある
fact1: もしもあの出典は関係深くないとすると「過ごせなくて加えて自動化しない」ということは成り立たない
$facts$ = fact1: もしもあの出典は関係深くないとすると「過ごせなくて加えて自動化しない」ということは成り立たない ; $hypothesis$ = 「もし関係深くないとすれば「過ごせないしさらに自動化しない」ということは誤りな」ものはある ; $proof$ = 
事実1: もしもあの出典は関係深くないとすると「過ごせなくて加えて自動化しない」ということは成り立たない

仮説: 「もし関係深くないとすれば「過ごせないしさらに自動化しない」ということは誤りな」ものはある