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 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.