)は飛べる」は、以下の前提の論理的帰結である。