「この暴走族は狸寝入りである」ということは本当である
fact1: 仮に「あるものは予算化しないけど愛らしい」ということは誤りだとしたら狸寝入りでない fact2: 「分乗する」ものはある fact3: 「「分乗する」ということは真実である」ものがあるとすればこの暴走族は狸寝入りだ
fact2 & fact3 -> hypothesis;
「分解段階である」物はある
fact4 -> int1: もし「この暴走族は予算化しないけどそれは愛らしい」ということは誤りであるとすると狸寝入りであるということはない;
$facts$ = fact1: 仮に「あるものは予算化しないけど愛らしい」ということは誤りだとしたら狸寝入りでない fact2: 「分乗する」ものはある fact3: 「「分乗する」ということは真実である」ものがあるとすればこの暴走族は狸寝入りだ ; $hypothesis$ = 「この暴走族は狸寝入りである」ということは本当である ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「あるものは予算化しないけど愛らしい」ということは誤りだとしたら狸寝入りでない
事実2: 「分乗する」ものはある
事実3: 「「分乗する」ということは真実である」ものがあるとすればこの暴走族は狸寝入りだ

仮説: 「この暴走族は狸寝入りである」ということは本当である
1. 事実2と事実3から、仮説が導かれる

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