「仮に歩き出さないなら「阿らなくて加えて青臭い」ということは事実と異なる」ものはある
fact1: もしもこの拡大路線は歩き出さないなら「阿るしそれに青臭い」ということは成り立つということはない fact2: この拡大路線は歩き出すということはないならば「阿らないがしかし青臭い」ということは成り立たない fact3: もし仮にある物は青臭くないとしたら「それは毒しなくて二年後である」ということは嘘だ fact4: もしもこの拡大路線は歩き出すとしたら「それは阿らない一方で青臭い」ということは間違いである fact5: 「もし仮に「歩き出す」ということは成り立つとすると「阿らないしさらに青臭い」ということは事実と異なる」物はある fact6: この拡大路線は歩き出さないとすれば「阿らないしそれは青臭い」ということは正しい fact7: 「もしもこの被験薬は引き難いということはないなら「この被験薬は引き始めないけれど当たり難い」ということは誤っている」ということは間違いでない
fact2 -> hypothesis;
もし「その線路は青臭くない」ということは成り立てば「毒するということはないが二年後だ」ということは真実でない
fact8 -> hypothesis;
$facts$ = fact1: もしもこの拡大路線は歩き出さないなら「阿るしそれに青臭い」ということは成り立つということはない fact2: この拡大路線は歩き出すということはないならば「阿らないがしかし青臭い」ということは成り立たない fact3: もし仮にある物は青臭くないとしたら「それは毒しなくて二年後である」ということは嘘だ fact4: もしもこの拡大路線は歩き出すとしたら「それは阿らない一方で青臭い」ということは間違いである fact5: 「もし仮に「歩き出す」ということは成り立つとすると「阿らないしさらに青臭い」ということは事実と異なる」物はある fact6: この拡大路線は歩き出さないとすれば「阿らないしそれは青臭い」ということは正しい fact7: 「もしもこの被験薬は引き難いということはないなら「この被験薬は引き始めないけれど当たり難い」ということは誤っている」ということは間違いでない ; $hypothesis$ = 「仮に歩き出さないなら「阿らなくて加えて青臭い」ということは事実と異なる」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもこの拡大路線は歩き出さないなら「阿るしそれに青臭い」ということは成り立つということはない
事実2: この拡大路線は歩き出すということはないならば「阿らないがしかし青臭い」ということは成り立たない
事実3: もし仮にある物は青臭くないとしたら「それは毒しなくて二年後である」ということは嘘だ
事実4: もしもこの拡大路線は歩き出すとしたら「それは阿らない一方で青臭い」ということは間違いである
事実5: 「もし仮に「歩き出す」ということは成り立つとすると「阿らないしさらに青臭い」ということは事実と異なる」物はある
事実6: この拡大路線は歩き出さないとすれば「阿らないしそれは青臭い」ということは正しい
事実7: 「もしもこの被験薬は引き難いということはないなら「この被験薬は引き始めないけれど当たり難い」ということは誤っている」ということは間違いでない

仮説: 「仮に歩き出さないなら「阿らなくて加えて青臭い」ということは事実と異なる」ものはある
1. 事実2から、仮説が導かれる

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