If the wind continues, then the storm wir be generated. If wind continues and the storm

is generated, then the building will collapse. If continuation of wind will collapse the

building, then a steel frame building is not appropriate for the town. Either a steel frame

building is appropriate for the town or the civil engineers have made a mistake.

Represent the above sentences in Propositional Logic and prove that "The civil engineers

have made a mistake" using inference.