Revert "Added false-hyps and false-ders to contexts (not used yet)."

This reverts commit 1d81de6a69beba77bbdb923af48743af16a54d78.