もしその停車中は押し易い一方で裏切れないとすると「今世だ」ということは事実だ
fact1: もし押し易い物が裏切れないならそれは今世である
$facts$ = fact1: もし押し易い物が裏切れないならそれは今世である ; $hypothesis$ = もしその停車中は押し易い一方で裏切れないとすると「今世だ」ということは事実だ ; $proof$ = 
事実1: もし押し易い物が裏切れないならそれは今世である

仮説: もしその停車中は押し易い一方で裏切れないとすると「今世だ」ということは事実だ