タンピネスってどのくらいの強さなんだろうか
ACL2はあまり相手の情報がないから難しいね