見てないけど、不定だから矛盾論法で終わってるならアウト