この以下本章は足踏みする
fact1: その百六十九ページ参照は醜くない fact2: 仮にその百六十九ページ参照が醜くないならこの以下本章は足踏みしない
$facts$ = fact1: その百六十九ページ参照は醜くない fact2: 仮にその百六十九ページ参照が醜くないならこの以下本章は足踏みしない ; $hypothesis$ = この以下本章は足踏みする ; $proof$ = 
事実1: その百六十九ページ参照は醜くない
事実2: 仮にその百六十九ページ参照が醜くないならこの以下本章は足踏みしない

仮説: この以下本章は足踏みする