Check a proof
 
This is a simple proof checker.  It hasn't itself been proved,
and there are probably lots of ways to fool it especially as a deliberate
malicious attack. That is because there are simple things I may have forgotten
to check.

Modules
		llyn sys

Functions
		bind(x, bindings) exit(...) exit([status])   Exit the interpreter by raising SystemExit(status). If the status is omitted or None, it defaults to zero (i.e., success). If the status is numeric, it will be used as the system exit status. If it is another kind of object, it will be printed and the system exit status will be one (i.e., failure). fail(str, level=0) fyi(str, level=0) main() parse(resourceURI) statementFromFormula(f) Check just one statement and return it valid(proof, r, level=0) Check whether this reason is valid. Returns the formula proved or None is not

Data
		CONTEXT = 0 OBJ = 3 PRED = 1 SUBJ = 2 argv = ['/usr/bin/pydoc', '-w', 'check'] chatty = 0 log = <myStore.Namespace object> rdf = <myStore.Namespace object> reason = <myStore.Namespace object> rei = <myStore.Namespace object>