I NEED THE CODE: Write in C++ only Create a program which 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, that 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.