#include <assert.h>
#include <ctype.h>
#include <errno.h>
#include <float.h>
#include <limits.h>
#include <locale.h>
#include <math.h>
#include <setjmp.h>
#include <signal.h>
#include <stddef.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

#define DEBUG

#ifdef DEBUG
# define dprintf(x) { printf x ; fflush(stdin); }
#else
# define dprintf(x) ;
#endif



FILE *in;

typedef struct Sfrase{
	int dice;
	int suj;
	int tipo;
} Tfrase;

int n,i,posible;

Tfrase frase[60];
int A[3],B[3],C[3],D[3],E[3],DIA[3];

int miente(int quien, int dia){
	switch(quien){
		case 0:
			return(0);
		case 1:
			return(dia);
		case 2:
			return(1);
	}
}

int main(void)
{
	char s[200];
	int S[5],DAY,dice,suj,caso=0;




	in = fopen("island.in","rt");
	while(1){
		fscanf(in,"%d\n",&n);
		if (n==0)
			break;
		printf("Conversation #%d\n",++caso);
      memset(A,0,sizeof(A));
      memset(B,0,sizeof(B));
      memset(C,0,sizeof(C));
      memset(D,0,sizeof(D));
      memset(E,0,sizeof(E));
      memset(DIA,0,sizeof(DIA));
		for(i=0;i<n;i++){
			fgets(s,100,in);
			frase[i].dice=s[0]-'A';
			if(s[3]=='I')
				frase[i].suj=frase[i].dice;
			else
				frase[i].suj=s[3]-'A';
			frase[i].tipo=0;
			if(strstr(s,"not"))
				frase[i].tipo|=4;
			if(strstr(s,"divine"))
				frase[i].tipo|=0;
			else if(strstr(s,"human"))
				frase[i].tipo|=1;
			else if(strstr(s,"evil"))
				frase[i].tipo|=2;
			else if(strstr(s,"lying"))
				frase[i].tipo|=3;
			else if(strstr(s,"day"))
				frase[i].tipo=8;
			else
				frase[i].tipo=9;
			dprintf(("Frase %d: \"%c : %c (%d)\"\n",i,'A'+frase[i].dice,'A'+frase[i].suj,frase[i].tipo));
		}

		for(S[0]=0;S[0]<3;S[0]++)
			for(S[1]=0;S[1]<3;S[1]++)
				for(S[2]=0;S[2]<3;S[2]++)
					for(S[3]=0;S[3]<3;S[3]++)
						for(S[4]=0;S[4]<3;S[4]++)
							for(DAY=0;DAY<2;DAY++){
								for(i=0;i<n;i++){
									dice=frase[i].dice;
									suj=frase[i].suj;
									switch(frase[i].tipo){
										case 0:
											if(!miente(S[dice],DAY)){
												if(S[suj]==0)
													continue;
											}
											else{
												if(S[suj]!=0)
													continue;
											}
											break;
										case 1:
											if(!miente(S[dice],DAY)){
												if(S[suj]==1)
													continue;
											}
											else{
												if(S[suj]!=1)
													continue;
											}
											break;
										case 2:
											if(!miente(S[dice],DAY)){
												if(S[suj]==2)
													continue;
											}
											else{
												if(S[suj]!=2)
													continue;
											}
											break;
										case 3:
											if(!miente(S[dice],DAY)){
												if(miente(S[suj],DAY))
													continue;
											}
											else{
												if(!miente(S[suj],DAY))
													continue;
											}
											break;
										case 4:
											if(miente(S[dice],DAY)){
												if(S[suj]==0)
													continue;
											}
											else{
												if(S[suj]!=0)
													continue;
											}
											break;
										case 5:
											if(miente(S[dice],DAY)){
												if(S[suj]==1)
													continue;
											}
											else{
												if(S[suj]!=1)
													continue;
											}
											break;
										case 6:
											if(miente(S[dice],DAY)){
												if(S[suj]==2)
													continue;
											}
											else{
												if(S[suj]!=2)
													continue;
											}
											break;
										case 7:
											if(miente(S[dice],DAY)){
												if(miente(S[suj],DAY))
													continue;
											}
											else{
												if(!miente(S[suj],DAY))
													continue;
											}
											break;
										case 8:
											if(!miente(S[dice],DAY)){
												if(DAY==0)
													continue;
											}
											else{
												if(DAY!=0)
													continue;
											}
										case 9:
											if(!miente(S[dice],DAY)){
												if(DAY==1)
													continue;
											}
											else{
												if(DAY!=1)
													continue;
											}
									}
									break;
								}
								if(i==n){
									dprintf(("%d %d %d %d %d %d\n",S[0],S[1],S[2],S[3],S[4],DAY));
									A[S[0]]=1;
									B[S[1]]=1;
									C[S[2]]=1;
									D[S[3]]=1;
									E[S[4]]=1;
									DIA[DAY]=1;
								}
							}
		if((DIA[0]+DIA[1])==0){
			printf("This is impossible.\n\n");
			continue;
		}
		posible=0;
		if((A[0]+A[1]+A[2])==1){
			printf("A is ");
			if(A[0])
				printf("divine.\n");
			else if(A[1])
				printf("human.\n");
			else
				printf("evil.\n");
			posible=1;
		}
		if((B[0]+B[1]+B[2])==1){
			printf("B is ");
			if(B[0])
				printf("divine.\n");
			else if(B[1])
				printf("human.\n");
			else
				printf("evil.\n");
			posible=1;
		}
		if((C[0]+C[1]+C[2])==1){
			printf("C is ");
			if(C[0])
				printf("divine.\n");
			else if(C[1])
				printf("human.\n");
			else
				printf("evil.\n");
			posible=1;
		}
		if((D[0]+D[1]+D[2])==1){
			printf("D is ");
			if(D[0])
				printf("divine.\n");
			else if(D[1])
				printf("human.\n");
			else
				printf("evil.\n");
			posible=1;
		}
		if((E[0]+E[1]+E[2])==1){
			printf("E is ");
			if(E[0])
				printf("divine.\n");
			else if(E[1])
				printf("human.\n");
			else
				printf("evil.\n");
			posible=1;
		}
		if((DIA[0]+DIA[1])==1){
			printf("It is ");
			if(DIA[0])
				printf("day.\n");
			else
				printf("night.\n");
			posible=1;
		}
		if(posible==0)
			printf("No facts are deducible.\n");
		printf("\n");
	}
	fclose(in);
	return (0);
}