Handle contradiction and tautology
Handle inequality
Handle remaining veritas relation nodes

Most of them are untested.