白馬は馬ではない
というおかしな主張を集める
単項式は多項式ではない
正方形は長方形ではない
長方形は平行四辺形ではない
トマトは野菜ではない
関税の問題から、トマトは果物であると主張して裁判が行われたことがある（アメリカで）
何を言いたかったのか、（今のところ）よくわからないらしい
日常語だと多くの人が「である」に二種類あることを区別してないから混乱するけど、数学語で書けば当たり前のことを言ってるように見える
集合「馬H」と集合「白馬W」はイコールではない
H \neq W
「白馬も馬である」というときの「である」は
「白馬の任意の要素は馬の要素」「白馬は馬の部分集合」
\forall x\in W; x\in H
という主張にすぎない
これはもちろんH = Wであることを主張していない