「仮に満遍無いがしかし消し去らないならば前倒しする」ものはある
fact1: この電車道は満遍無いがしかし消し去らないなら「それは前倒しする」ということは真実だ
$facts$ = fact1: この電車道は満遍無いがしかし消し去らないなら「それは前倒しする」ということは真実だ ; $hypothesis$ = 「仮に満遍無いがしかし消し去らないならば前倒しする」ものはある ; $proof$ = 
事実1: この電車道は満遍無いがしかし消し去らないなら「それは前倒しする」ということは真実だ

仮説: 「仮に満遍無いがしかし消し去らないならば前倒しする」ものはある