先の前提の例からは「ソクラテスは死ぬ」という事実が導かれ、これがターンスタイルの右辺の σ に置かれることになる。