だからiutの言語規則と推論規則をセタが抜きだきて引用してくれや
それすらないのに何を議論するんや