あのワーカーＳは貪り食うしさらにそれは撤兵する
fact1: あの応用は貪り食う fact2: あのワーカーＳはＮＰＯ活動だ fact3: あのワーカーＳは貪り食う fact4: あのワーカーＳは撤兵する fact5: その歩道橋は撤兵する
fact3 & fact4 -> hypothesis;
$facts$ = fact1: あの応用は貪り食う fact2: あのワーカーＳはＮＰＯ活動だ fact3: あのワーカーＳは貪り食う fact4: あのワーカーＳは撤兵する fact5: その歩道橋は撤兵する ; $hypothesis$ = あのワーカーＳは貪り食うしさらにそれは撤兵する ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: あの応用は貪り食う
事実2: あのワーカーＳはＮＰＯ活動だ
事実3: あのワーカーＳは貪り食う
事実4: あのワーカーＳは撤兵する
事実5: その歩道橋は撤兵する

仮説: あのワーカーＳは貪り食うしさらにそれは撤兵する
1. 事実3と事実4から、仮説が導かれる

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