OK you're getting Boole up and running, you're typing in various sentences, and then you're being told your sentences are not well formed, but that doesn't necessarily mean that Boole's not working. Your information is a bit sparse. Maybe you should give a sample of a sentence that didn't work? I've opened up Table 4.12.tt , which has been to the grade grinder and been ground, so it should be OK. I'll give the top line as a sample, and hope that gets you started.
A | B | ~(A ||
| ~A & ~ B
(That's what Boole's CTRL-C gives - slightly edited - so you could do the same. Unfortunately mine refuses to select all, so I've copied expression by expression).
Could it be that you don't have your premises right? (I'm just working from left to right here) They should also have green marks above them.
Then you should get your expressions divided by a line (but that might be later than the example phase).
Let's have some more info, then next week when I lurk by, if someone who knows what he's doing hasn't helped, I'll see if I can guess the source of the trouble.