证明如下：
（1）由题设甲可知：所有a是b由题设乙可知：有c是b或有c不是b
（2）由“所有a是b且有c是b”不能得出结论，因为它违反了三段论“中项在前提中至少要周延一次”的规则，犯了中项（即“b”）不周延的逻辑错误。
（3）由“所有a是b且有c不是b”可得出“有c不是a”。
（4）由“有c不是a”可知a与c的关系为：c真包含a、c与a交叉和c与a全异。