fof(invalid,conjecture, ( a & b | a & ~b | ~a & b | ~a & ~c ) ).