Create tableau.hs

prover theorem with tableau