¬α,¬αA¬α.¬αa¬α!¬α¬α¬α:¬α¬α¬αa¬α¬αA¬α.¬αB¬α;¬α;¬α¬α¬α¬α¬α?¬α¬α¬α¬α.¬α¬α¬α¬α¬αc¬α¬α,¬α¬α;¬αc¬α¬α¬α,¬α¬α¬α¬α¬α¬α?¬α¬α¬α.¬α.¬α¬α¬α¬αA¬α¬α!¬α?¬α,¬αA¬α¬α,¬α¬α¬α¬α¬α¬αB¬α¬α!¬αA¬α¬α!¬α¬α¬α¬αa¬α;¬α¬α:¬α¬α:¬αc¬α¬α¬α¬α!¬α¬αA¬αA¬αc¬α?¬α¬αB¬α¬α,¬α!¬α;¬αa¬αB¬α¬αB¬α.