is-true in inference engine. still buggy
Merge branch 'master' of https://github.com/yasho/6.945-FinalProj

Conflicts:
	inference_engine.scm