You are given the following knowledge base:
a ←b ∧c.
a ←e ∧f.
b ←d.
b ←f ∧h.
c ←e.
d ←h.
e.
f ←g.
g ←c.
Give a model of the knowledge base.
Give an interpretation that is not a model of the knowledge base.
Give two atoms that are logical consequences of the knowledge base.
Give two atoms that are not logical consequences of the knowledge base.