%Facts %----- part(socks, [red, black, blue]).