× （真偽マンを）誰も見たことはない ○ （真偽マンはいるが、彼の真偽判定が正しかったと証明されるのを）誰も見たことはない