そんなレベルですらない
そもそもiutは述語論理で書き表すことすらできないが正解やろ