Code in C++

Assignment: 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 they're an astronaut. If someone is an astronaut, that implies they're highly trained. If someone is highly trained, that implies they're 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 it's 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