Started implementation of inferences and maybe clauses.  Works for maybe clauses with two possible cards, not three yet.