Assignment: Create a c++ program that can test the validity of propositional logic. Remember, a propositional logical statement is invalid should you find any combination of input where the PROPOSITIONAL statements are ALL true, while the CONCLUSION statement is false.

Propositional Statements:

If someone has a rocket, that implies theyre an astronaut.

If someone is an astronaut, that implies theyre highly trained.

If someone is highly trained, that implies theyre educated.

Conclusion Statement:

A person is educated, which implies they have a rocket.

Your output should declare the statement to either be valid or invalid. If its invalid, it needs to state which combination of inputs yielded the statement invalid. MAKE SURE IT POINTS OUT EVERY TIME THE STATEMENT IS INVALID IF IT IS INDEED INVALID.