metaphysicser/Automated_Reasoning

the work assigned by teacher to realize reasoning process

Python