core/generate/proof_chain
..
__init__.py
builder.py
entail.py
model.py
rules.py