Symbolic Logic Sample Problem