(=> (_Closed ?A ?B) (Not (Exists (?C ?D) (And (T-Complement ?A ?D) (Interior ?A ?C) (Connected ?C ?D)))))