Logic Theory Machine