{{{}}}は推移的でないから
{{}}∈{{{}}}だが、¬({{}}⊂{{{}}})である

ここまで簡単な例でニワトリの馬鹿主張を
木端微塵に打ち砕けるのは実にキモチがイイw