I'd like to think I have something close to a working ALC reasoner. In what was probably a totally unnecessary move, I added a hook for GraphViz so I could see the algorithm work. I like pretty graphs. And at least it's not crashing on the examples anymore.
Oh, and on Friday I went to the liquor store for the first time, so I could get carded. ...and the guy took my money and didn't ask for id. Aw man!
And... that's it! The semester is ridiculously over. Just refine this project, and it's all finals.