>128の構造

AはBではない。AはCではない。……AはXではない。よって、AはYである。


これが証明なのかね?