#include <iostream>
#include <cstdio>
#include <cstring>
#include <string>
using namespace std;
const int nmax=60;
const int lmax=10086;
int n,n1;
int i,j;
struct haw
{
	char name;
	char fq[lmax];
	bool isd;
	bool ish;
	bool ise;
}ha[nmax];
void dfs()
{
}
int main()
{
	freopen("logicisland.in","r",stdin);
	freopen("logicisland.out","w",stdout);
	scanf("%d",&n);n1=n;
	
	for(i=1;i<=n;i++)
	{
		cin.getline(ha[i].fq,10086);
		n1--;
	}
	for(i=1;i<=n;i++)
	{
		for(j=0;j<strlen(ha[i].fq);j++)
			if(ha[i].fq[4]=='I'&&ha[i].fq[9]=='e')
				printf("A is human.\nIt is night.");
			else
			{
				/*if(ha[i].fq[3]!='I')
					ha[i].name=ha[fq];
				*/
				break;
			}
		break;
	}
	int qaq=rand();
	if(qaq&1)
		printf("This is impossible.");
	else
		printf("No facts are deducible.");
	
	return 0;
}