5.1 WNDS: Win98 4.10.67766446 ( A ) [5.1.0.19991101] SntF C987075420913D987075699281 S4892 5 ; This set of sentences is inconsistent -- there is no world in which they are all true. ; But no one sentence is the culprit -- which one is false (or which ones are false) ; depends on the world. Cube(a) Cube(b) Cube(c) ~(Cube(a) & Cube(b) & Cube(c))