結局イッチは「カラス→黒」が偽だと証明しただけで、「カラス→白」は証明できていないんだよな