id:say-01 は
対偶論法の限界のことを語る

飛べねえブタはただのブタだ
↓
ブタじゃないから飛べる