そのサイドバーは下請け人でない
fact1: 「「大泣きするしまた伸し掛かる」ということは成り立つということはない」ものがあるならそのサイドバーは下請け人でない fact2: もしとある物が論破しないとするとそれは下請け人であるし自動車部品メーカーだ fact3: 仮にあの福音宣教が下請け人であるとするとそのサイドバーは下請け人だ fact4: 「そのパチョリは大泣きするしさらに伸し掛かる」ということは真実でない
fact4 -> int1: 「「大泣きするし伸し掛かる」ということは間違いである」物はある; int1 & fact1 -> hypothesis;
そのサイドバーは下請け人だ
fact5 -> int2: 「もしもあの福音宣教が論破しないならばあの福音宣教は下請け人でしかも自動車部品メーカーだ」ということは真実だ;
$facts$ = fact1: 「「大泣きするしまた伸し掛かる」ということは成り立つということはない」ものがあるならそのサイドバーは下請け人でない fact2: もしとある物が論破しないとするとそれは下請け人であるし自動車部品メーカーだ fact3: 仮にあの福音宣教が下請け人であるとするとそのサイドバーは下請け人だ fact4: 「そのパチョリは大泣きするしさらに伸し掛かる」ということは真実でない ; $hypothesis$ = そのサイドバーは下請け人でない ; $proof$ = 
fact4 -> int1: 「「大泣きするし伸し掛かる」ということは間違いである」物はある; int1 & fact1 -> hypothesis; __PROVED__
事実1: 「「大泣きするしまた伸し掛かる」ということは成り立つということはない」ものがあるならそのサイドバーは下請け人でない
事実2: もしとある物が論破しないとするとそれは下請け人であるし自動車部品メーカーだ
事実3: 仮にあの福音宣教が下請け人であるとするとそのサイドバーは下請け人だ
事実4: 「そのパチョリは大泣きするしさらに伸し掛かる」ということは真実でない

仮説: そのサイドバーは下請け人でない
1. 事実4から、推論1: "「「大泣きするし伸し掛かる」ということは間違いである」物はある"が導かれる
2. 推論1と事実1から、仮説が導かれる

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