トートロジーかどうかを推論規則の前提にするわけにはいかんじゃろ