不行我没忍住，这道恶心的模拟写出来了，一定要发文祭奠一下
#include<bits/stdc++.h>
using namespace std;
inline int read()
{
int f=1,w=0;char x=0;
while(x<'0'||x>'9') {if(x=='-') f=-1; x=getchar();}
while(x!=EOF&&x>='0'&&x<='9') {w=(w<<3)+(w<<1)+(x^48);x=getchar();}
return w*f;
}
const int N=25;
const int P=110;
int n,m,K,Sum;
struct Students
{
string Name;
int Hon,Crm,Sum;
vector<string> Word;
} p[N];
map<string,int> Name_MAP,Day,ANS;
map<string,string> Gul,NGul;
inline void get(string &x)
{
char c=getchar();
while(c=='\n'||c=='\r') c=getchar();
while(c!='\n'&&c!='\r') x+=c,c=getchar();
}
int main(){
#ifndef ONLINE_JUDGE
freopen("A.in","r",stdin);
#endif
scanf("%d%d%d",&m,&n,&K);
for(int i=1;i<=m;i++)
{
char X=getchar();while(X=='\n'||X=='\r') X=getchar();
while(X!='\n'&&X!='\r') p[i].Name+=X,X=getchar();
Name_MAP[p[i].Name]=i;
}
for(int i=1;i<=K;i++)
{
string S,NAME;char X=getchar();
while(X=='\n'||X=='\r') X=getchar();
while(X!=':') NAME+=X,X=getchar();
while(X=='\n'||X=='\r'||X==' '||X==':') X=getchar();
while(X!='\n'&&X!='\r') S+=X,X=getchar();
p[Name_MAP[NAME]].Word.push_back(S);
}
Day["Today is Monday."]=1;Day["Today is Tuesday."]=2;
Day["Today is Wednesday."]=3;Day["Today is Thursday."]=4;
Day["Today is Friday."]=5;Day["Today is Saturday."]=6;
Day["Today is Sunday."]=7;
for(int i=1;i<=m;i++) Gul[p[i].Name+" is guilty."]=p[i].Name;
for(int i=1;i<=m;i++) NGul[p[i].Name+" is not guilty."]=p[i].Name;
for(int Ts=0;Ts<(1<<m);Ts++)
{
int Cnt_UNKOWN=0,Cnt_GUL=0,Cnt_NGUL=0,Cnt=0,Today=0;
for(int i=0;i<m;i++) if(!(Ts&(1<<i))) Cnt++;
if(Cnt!=n) continue;
for(int i=0;i<m;i++) p[i+1].Hon=0;
for(int i=0;i<m;i++) p[i+1].Hon=(bool)(Ts&(1<<i));
for(int i=1;i<=m;i++) p[i].Crm=-1,p[i].Crm=-1;
for(int i=1;i<=m;i++)
{
if(p[i].Hon)
{
for(int j=0;j<(int)p[i].Word.size();j++)
{
if(p[i].Word[j]=="I am guilty.")
{
if(p[i].Crm==-1||p[i].Crm==1) p[i].Crm=1;
else goto This_is_False; continue;
}
if(p[i].Word[j]=="I am not guilty.")
{
if(p[i].Crm==-1||p[i].Crm==0) p[i].Crm=0;
else goto This_is_False; continue;
}
if(Gul[p[i].Word[j]].size())
{
if(p[Name_MAP[Gul[p[i].Word[j]]]].Crm==-1)
p[Name_MAP[Gul[p[i].Word[j]]]].Crm=1;
else if(p[Name_MAP[Gul[p[i].Word[j]]]].Crm==1)
p[Name_MAP[Gul[p[i].Word[j]]]].Crm=1;
else goto This_is_False; continue;
}
if(NGul[p[i].Word[j]].size())
{
if(p[Name_MAP[NGul[p[i].Word[j]]]].Crm==-1)
p[Name_MAP[NGul[p[i].Word[j]]]].Crm=0;
else if(p[Name_MAP[NGul[p[i].Word[j]]]].Crm==0)
p[Name_MAP[NGul[p[i].Word[j]]]].Crm=0;
else goto This_is_False; continue;
}
if(Day[p[i].Word[j]])
{
if(Today==Day[p[i].Word[j]]) Today=Day[p[i].Word[j]];
else if(Today==0) Today=Day[p[i].Word[j]];
else goto This_is_False; continue;
}
}
}
else
{
for(int j=0;j<(int)p[i].Word.size();j++)
{
if(p[i].Word[j]=="I am guilty.")
{
if(p[i].Crm==-1||p[i].Crm==0) p[i].Crm=0;
else goto This_is_False; continue;
}
if(p[i].Word[j]=="I am not guilty.")
{
if(p[i].Crm==-1||p[i].Crm==1) p[i].Crm=1;
else goto This_is_False; continue;
}
if(Gul[p[i].Word[j]].size())
{
if(p[Name_MAP[Gul[p[i].Word[j]]]].Crm==-1)
p[Name_MAP[Gul[p[i].Word[j]]]].Crm=0;
else if(p[Name_MAP[Gul[p[i].Word[j]]]].Crm==0)
p[Name_MAP[Gul[p[i].Word[j]]]].Crm=0;
else goto This_is_False; continue;
}
if(NGul[p[i].Word[j]].size())
{
if(p[Name_MAP[NGul[p[i].Word[j]]]].Crm==-1)
p[Name_MAP[NGul[p[i].Word[j]]]].Crm=1;
else if(p[Name_MAP[NGul[p[i].Word[j]]]].Crm==1)
p[Name_MAP[NGul[p[i].Word[j]]]].Crm=1;
else goto This_is_False; continue;
}
if(Day[p[i].Word[j]])
if(Today==Day[p[i].Word[j]]&&Today)
goto This_is_False;
}
}
}
for(int i=1;i<=m;i++)
if(p[i].Crm==-1) Cnt_UNKOWN++;
else if(p[i].Crm==1) Cnt_GUL++;
else if(p[i].Crm==0) Cnt_NGUL++;
if(Cnt_GUL>1) goto This_is_False;
if(Cnt_UNKOWN+Cnt_NGUL==m&&Cnt_UNKOWN>1)
{
puts("Cannot Determine");return 0;
}
if(Cnt_UNKOWN+Cnt_NGUL==m&&Cnt_UNKOWN==1)
{
Cnt_GUL=Cnt_UNKOWN;
for(int i=1;i<=m;i++)
if(p[i].Crm==-1) p[i].Crm=1;
}
if(Cnt_GUL==1)
for(int i=1;i<=m;i++)
if(p[i].Crm==1) p[i].Sum++;
This_is_False:;
}
for(int i=1;i<=m;i++) if(p[i].Sum) Sum++;
if(Sum==1)
{
for(int i=1;i<=m;i++)
if(p[i].Sum) cout<<p[i].Name<<endl;
}
else if(Sum!=0) puts("Cannot Determine");
else puts("Impossible");
}