推論規則を知らないからだろ