index.md

layout	title	permalink	breadcrumb	canonical_id
exercise	Exercise 9.16	/logical-inference-exercises/ex_16/	9-Inference-In-First-Order-Logic	ch9ex16

{% include mathjax_support %}

{% include_relative question.md %}