First Order Logic In Python Class