>AliceとBobが目を覚ます</li>
                  <li>Bobが学校へ行く</li>
                  <li>Aliceがアイスを確認する</li>
                  <li>Aliceがアイスが無くなっていることに気づく</li>
                  </ol>
                  <p>Bobが学校に行った後にアイスがあることが確認されているのだから、Bobはアイスを食べることができない。すなわちアリバイが成立し、Aliceに怒られることは無くなった。</p>
