began implementing user tests

Also, found that I need to rewrite makeInferences because I did some
research on syllogisms and found that I was making incorrect
conclusions.