机 器 证 明

很久以前，人们还在人工论证数学问题，随着电子计算机的发展，机器证明数学问题开始流行，四色猜想的证明就是最好的例子，因此，对于野兽先辈的论证方式也必须与时俱进，，，
于是我提出了机器论证野兽先辈的科学方法，使用小冰等猜人软件进行猜人，然后直接找共同点，，，因为不可抗力因素，小冰无法论证野兽先辈，（迫真）所以我就挑“久保带人太田顺也说”作为使用例了。
截了长图，手机党查看原图后放大，请。非常抱歉，丘吉尔，我什么也不会做的
1、久保带人是男性，太田顺也也是男性。
2、久保带人不是纸片壬，太田顺也也存在于现实中。
3、久保带人出生于日本，太田顺也也出生于日本。
4、久保带人不是球类运动员，太田顺也也对球不感兴趣。
5、久保带人已婚，太田顺也也已婚。
6、久保带人没有离过婚，太田顺也也没离过婚。
7、久保带人与政治无关，太田顺也也不混政治。
8、久保带人不是声优，太田顺也也不是声优。
……（省略若干行）
Q.E.D
虽然每一条共同点都极其无力 但十万甚至九万条这样的共同点 最终就能论证出两者的完全一致性 奇妙深刻
期待哪位先辈拿别的工具对野兽先辈进行机器证明