Construct a formal proof following;

If he recieved the wire, then he took the plane and if he took the plane he will not be late for the meeting. If the telegraph was incorrectly addressed, then he will be late for the meeting. He recieved the wire or the telegraph was incorrectly addressed therefore, he took the plane or he will be late for the meeting.