もしも「この恥骨弓は懐かしいということはないがそれは煩い」ということは成り立つということはないなら同期しない
fact1: もし仮に「何らかの物は差し金でないがしかし塞き止める」ということは偽であるとすれば晴れない fact2: もしも「何らかの物は懐かしいしそれは煩い」ということは誤っているとすれば同期しない fact3: 「ある物は懐かしいということはないがしかし煩い」ということは誤りだとするとそれは同期しない
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もし仮に「何らかの物は差し金でないがしかし塞き止める」ということは偽であるとすれば晴れない fact2: もしも「何らかの物は懐かしいしそれは煩い」ということは誤っているとすれば同期しない fact3: 「ある物は懐かしいということはないがしかし煩い」ということは誤りだとするとそれは同期しない ; $hypothesis$ = もしも「この恥骨弓は懐かしいということはないがそれは煩い」ということは成り立つということはないなら同期しない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮に「何らかの物は差し金でないがしかし塞き止める」ということは偽であるとすれば晴れない
事実2: もしも「何らかの物は懐かしいしそれは煩い」ということは誤っているとすれば同期しない
事実3: 「ある物は懐かしいということはないがしかし煩い」ということは誤りだとするとそれは同期しない

仮説: もしも「この恥骨弓は懐かしいということはないがそれは煩い」ということは成り立つということはないなら同期しない
1. 事実3から、仮説が導かれる

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