【演習問題1:パズル``床屋'' (TPTP/PUZ003-1)】

一風変った約束事を守っている床屋倶楽部がある。 その約束事とは、 「会員Aが会員(自分自身でもよい)の鬚を剃れるのは、 Aが(それ以前に)すべての会員に自分の鬚を剃ってもらっているときに限る、」 というものである。 この倶楽部の会員は、Guido、Lorenzo、Petrucio、Cesareの四人である。 すでにGuidoはCesareの鬚を剃ったことがある。 さて、もうPetrucioはLorenzoの鬚を剃ったであろうか?