created Inference.hs
added contradiction check
implemented inference logic