Laws for converting Preposition logic statement into more complex statements for solutions of given problem by using resolution which uses negotiation of a given statement