5.1 WNDS: Win98 4.10.67766446 ( A ) [5.1.0.19991101] SntF C987075420913D987075699281D987075791557D987075918817 S8477 5 ; This set of sentences is also inconsistent. ; But in this case there is a culprit -- sentence (5). Cube(a) Cube(b) Cube(c) Tet(d) & ~Tet(d)