C. 文字游戏

内存限制:16 MiB 时间限制:1000 ms 标准输入输出
题目类型:传统 评测方式:文本比较

题目描述

“白马非马,可乎?”曰:“可。”

曰:“何哉?”曰:“马者,所以命形也。白者,所以命色也。命色者,非命形也,故曰白马非马。”

曰:“有白马,不可谓无马也。不可谓无马者,非马也?有白马为有马,白之非马,何也?”

曰:“求马,黄、黑马皆可致。求白马,黄、黑马不可致。使白马乃马也,是所求一也,所求一者,白者不异马也。所求不异,如黄、黑马有可有不可,何也?可与不可其相非明。故黄、黑马一也,而可以应有马,而不可以应有白马,是白马之非马审矣。”

曰:“以马之有色为非马,天下非有无色之马也。天下无马,可乎?”

曰:“马固有色,故有白马。使马无色,有马如已耳,安取白马?故白者非马也。白马者,马与白也;马与白马也,故曰:白马非马也。

曰:“马未与白为马,白未与马为白。合马与白,复名白马,是相与以不相与为名,未可。故曰:白马非马,未可。”

曰:“以有白马为有马,谓有白马为有黄马,可乎?”曰:“未可。”曰:“以有马为异有黄马,是异黄马于马也。异黄马于马,是以黄马为非马。以黄马为非马,而以白马为有马;此飞者入池,而棺椁异处;此天下之悖言乱辞也。”

曰:“有白马,不可谓无马者,离白之谓也。是离者有白马不可谓有马也。故所以为有马者,独以马为有马耳,非有白马为有马。故其为有马也,不可以谓马马也。”

曰:“白者不定所白,忘之而可也。白马者,言定所白也。定所白者,非白也。马者无去取于色,故黄、黑皆所以应。白马者,有去取于色,黄、黑马皆所以色去,故唯白马独可以应耳。无去者非有去也。故曰:白马非马。”

平原君听说了公孙龙的胡搅蛮缠,决定写一个推理器判断一个东西和另一个是否一致。但是他们活在两千三百年前,所以你能帮帮他们吗?

输入格式

第一行一个整数 ,表示已知的关系个数。

随后 行,每行一个形如a is b或者a is not b的相等,不相等两类判断。这两个判断都是对称的(交换ab一定成立)。a is b, b is c都成立时a is c成立。a is b, b is not c都成立时a is not c成立。每个判断的对象都是单个字符。判断的两个对象不同,且不会产生冲突。

此后第一行一个整数 ,表示询问次数。

随后 行,每行一个形如a is b或者a is not b的命题。如果真输出True,如果命题为假输出False,真假不确定输出Unknown

输出格式

对每个询问命题输出一行:如果真输出True,如果命题为假输出False,真假不确定输出Unknown

样例

【样例输入】

4
a is b
b is c
c is not d
d is not e
3
a is not a
c is e
b is not d

【样例输出】

False
Unknown
True

数据范围与提示

总操作不超过

通告标题

通告内容

已知晓