種なしぶどうの生産者推論と後件肯定

「Ａが作るぶどうは全て種がない」「このぶどうは種がない」という前提から、「このぶどうはＢが作ったぶどうではない」ことは演繹的には導かれず、したがって「このぶどうはＡが作ったぶどうだ」も導かれない。

種がないことは、Ａのぶどうであることの必要条件ではあるが、十分条件ではない。