covered/6 first checks Object, then Conjunction.
Added generateNegativeExamples/0 which asserts it's output