「拭い難いということはないとすれば「渋いしＯＢ臭い」ということは偽である」物はある
fact1: 「拭い難いということはないとすると渋いしＯＢ臭い」ものはある fact2: もし仮にこの模型はＯＢ臭くないとしたら「それは年金財政上であるしそれは発揮する」ということは誤りである fact3: この模型は拭い難くないとすれば「渋いしＯＢ臭い」ということは誤りだ fact4: とあるものは拭い難いということはないとすると「「意識し過ぎるしそれはひん剥く」ということは確かだ」ということは偽である fact5: 「もし拭い難いとすると「渋いしその上ｏＢ臭い」ということは誤りな」物はある fact6: もしその空室は渋いならば「それは受け入れ易いし検察官である」ということは真実でない
fact3 -> hypothesis;
もしもこのインターンシップ制度は拭い難いということはないとしたら「意識し過ぎるしそれはひん剥く」ということは成り立つということはない
fact7 -> hypothesis;
$facts$ = fact1: 「拭い難いということはないとすると渋いしＯＢ臭い」ものはある fact2: もし仮にこの模型はＯＢ臭くないとしたら「それは年金財政上であるしそれは発揮する」ということは誤りである fact3: この模型は拭い難くないとすれば「渋いしＯＢ臭い」ということは誤りだ fact4: とあるものは拭い難いということはないとすると「「意識し過ぎるしそれはひん剥く」ということは確かだ」ということは偽である fact5: 「もし拭い難いとすると「渋いしその上ｏＢ臭い」ということは誤りな」物はある fact6: もしその空室は渋いならば「それは受け入れ易いし検察官である」ということは真実でない ; $hypothesis$ = 「拭い難いということはないとすれば「渋いしＯＢ臭い」ということは偽である」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「拭い難いということはないとすると渋いしＯＢ臭い」ものはある
事実2: もし仮にこの模型はＯＢ臭くないとしたら「それは年金財政上であるしそれは発揮する」ということは誤りである
事実3: この模型は拭い難くないとすれば「渋いしＯＢ臭い」ということは誤りだ
事実4: とあるものは拭い難いということはないとすると「「意識し過ぎるしそれはひん剥く」ということは確かだ」ということは偽である
事実5: 「もし拭い難いとすると「渋いしその上ｏＢ臭い」ということは誤りな」物はある
事実6: もしその空室は渋いならば「それは受け入れ易いし検察官である」ということは真実でない

仮説: 「拭い難いということはないとすれば「渋いしＯＢ臭い」ということは偽である」物はある
1. 事実3から、仮説が導かれる

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