Part way through implementing Entails.

The full model checking algorithm is working for very simple sentences. Many tests added.